{ "status": "PASS: finite profile envelope", "depth": 16, "checked_at_utc": "2026-09-27T09:39:08.480748+00:00", "command": "/usr/local/bin/python3 research/root_pool_extension_2026_09_11/audit_profile_envelope.py --depth 16 --output research/root_pool_extension_2026_09_11/profile_envelope_depth16_2026_09_27.json", "source": "/Users/shaik.i/research/collatz/CollatzConvergencePositiveDensity/sources/manuscript-v1.0.0-d4cf2a4b.md", "source_sha256": "d4cf2a4be67dff8934cd67c68fe9055eaa2a99ad3a760bbaf84b8644d160778e", "retained_entropy_sha256": "03744b60a03b4372259a1a4c5f968e56200d8353109a9571181bd2a6af0307a2", "producer_sha256": { "audit_wordcert_block_marker_density.py": "53d2a72156da43faba78c9c49675003571f25f45209914df60b2a341dad55b33", "audit_wordcert_collision_capacity_density.py": "1e71987e9cec712a526a910f6a3e0b229620a4745330bedac7316163e0712dcc", "audit_wordcert_collision_depth15_compact.py": "0f671ab96392cebe8466748ecfc29d14148ff150f5623b9ec36cdfa8125a80c4" }, "driver_sha256": "fa229a939eed9b5041f131e773ed4e3d6f61a9e255a5853421ed38a2573146b0", "native_source_sha256": "9e36abbfbd9b81ee449b6661c695a3b3f01362bd875055dc32d699d09a456a17", "compiler": "Apple clang version 17.0.0 (clang-1700.0.13.5)", "array_byteorder": "little", "passed_check_count": 582, "checks": [ "source pin", "retained entropy record pin", "retained producer pin audit_wordcert_block_marker_density.py", "retained producer pin audit_wordcert_collision_capacity_density.py", "retained producer pin audit_wordcert_collision_depth15_compact.py", "exact producer pin", "native array contract", "ordered exact grid and integer cuts", "grid fits uint64", "full retained array SHA-256 0", "full retained array SHA-256 1", "exact small-law upper domination 1", "full retained array SHA-256 2", "exact small-law upper domination 2", "native recurrence return 3", "native matches pinned Python entrywise 3", "full retained array SHA-256 3", "exact small-law upper domination 3", "native recurrence return 4", "native matches pinned Python entrywise 4", "full retained array SHA-256 4", "exact small-law upper domination 4", "native recurrence return 5", "native matches pinned Python entrywise 5", "full retained array SHA-256 5", "exact small-law upper domination 5", "native recurrence return 6", "full retained array SHA-256 6", "native recurrence return 7", "full retained array SHA-256 7", "native recurrence return 8", "full retained array SHA-256 8", "native recurrence return 9", "full retained array SHA-256 9", "native recurrence return 10", "full retained array SHA-256 10", "native recurrence return 11", "full retained array SHA-256 11", "native recurrence return 12", "full retained array SHA-256 12", "native recurrence return 13", "full retained array SHA-256 13", "native recurrence return 14", "full retained array SHA-256 14", "native recurrence return 15", "full retained array SHA-256 15", "native recurrence return 16", "full retained array SHA-256 16", "native histogram return", "complete unit coset counted", "zero-bin sum", "bin mean in its exact endpoints 1", "bin mean in its exact endpoints 2", "bin mean in its exact endpoints 3", "bin mean in its exact endpoints 4", "bin mean in its exact endpoints 5", "bin mean in its exact endpoints 6", "bin mean in its exact endpoints 7", "bin mean in its exact endpoints 8", "bin mean in its exact endpoints 9", "bin mean in its exact endpoints 10", "bin mean in its exact endpoints 11", "bin mean in its exact endpoints 12", "bin mean in its exact endpoints 13", "bin mean in its exact endpoints 14", "bin mean in its exact endpoints 15", "bin mean in its exact endpoints 16", "bin mean in its exact endpoints 17", "bin mean in its exact endpoints 18", "bin mean in its exact endpoints 19", "bin mean in its exact endpoints 20", "bin mean in its exact endpoints 21", "bin mean in its exact endpoints 22", "bin mean in its exact endpoints 23", "bin mean in its exact endpoints 24", "bin mean in its exact endpoints 25", "bin mean in its exact endpoints 26", "bin mean in its exact endpoints 27", "bin mean in its exact endpoints 28", "bin mean in its exact endpoints 29", "bin mean in its exact endpoints 30", "bin mean in its exact endpoints 31", "bin mean in its exact endpoints 32", "bin mean in its exact endpoints 33", "bin mean in its exact endpoints 34", "bin mean in its exact endpoints 35", "bin mean in its exact endpoints 36", "bin mean in its exact endpoints 37", "bin mean in its exact endpoints 38", "bin mean in its exact endpoints 39", "bin mean in its exact endpoints 40", "bin mean in its exact endpoints 41", "bin mean in its exact endpoints 42", "bin mean in its exact endpoints 43", "bin mean in its exact endpoints 44", "bin mean in its exact endpoints 45", "bin mean in its exact endpoints 46", "bin mean in its exact endpoints 47", "bin mean in its exact endpoints 48", "bin mean in its exact endpoints 49", "bin mean in its exact endpoints 50", "bin mean in its exact endpoints 51", "bin mean in its exact endpoints 52", "bin mean in its exact endpoints 53", "bin mean in its exact endpoints 54", "bin mean in its exact endpoints 55", "bin mean in its exact endpoints 56", "bin mean in its exact endpoints 57", "bin mean in its exact endpoints 58", "bin mean in its exact endpoints 59", "bin mean in its exact endpoints 60", "bin mean in its exact endpoints 61", "bin mean in its exact endpoints 62", "bin mean in its exact endpoints 63", "bin mean in its exact endpoints 64", "bin mean in its exact endpoints 65", "bin mean in its exact endpoints 66", "bin mean in its exact endpoints 67", "bin mean in its exact endpoints 68", "bin mean in its exact endpoints 69", "bin mean in its exact endpoints 70", "bin mean in its exact endpoints 71", "bin mean in its exact endpoints 72", "bin mean in its exact endpoints 73", "bin mean in its exact endpoints 74", "bin mean in its exact endpoints 75", "bin mean in its exact endpoints 76", "bin mean in its exact endpoints 77", "bin mean in its exact endpoints 78", "bin mean in its exact endpoints 79", "bin mean in its exact endpoints 80", "bin mean in its exact endpoints 81", "bin mean in its exact endpoints 82", "bin mean in its exact endpoints 83", "bin mean in its exact endpoints 84", "bin mean in its exact endpoints 85", "bin mean in its exact endpoints 86", "bin mean in its exact endpoints 87", "bin mean in its exact endpoints 88", "bin mean in its exact endpoints 89", "bin mean in its exact endpoints 90", "bin mean in its exact endpoints 91", "bin mean in its exact endpoints 92", "bin mean in its exact endpoints 93", "bin mean in its exact endpoints 94", "bin mean in its exact endpoints 95", "bin mean in its exact endpoints 96", "bin mean in its exact endpoints 97", "bin mean in its exact endpoints 98", "bin mean in its exact endpoints 99", "bin mean in its exact endpoints 100", "bin mean in its exact endpoints 101", "bin mean in its exact endpoints 102", "bin mean in its exact endpoints 103", "bin mean in its exact endpoints 104", "bin mean in its exact endpoints 105", "bin mean in its exact endpoints 106", "bin mean in its exact endpoints 107", "bin mean in its exact endpoints 108", "bin mean in its exact endpoints 109", "bin mean in its exact endpoints 110", "bin mean in its exact endpoints 111", "bin mean in its exact endpoints 112", "bin mean in its exact endpoints 113", "bin mean in its exact endpoints 114", "bin mean in its exact endpoints 115", "bin mean in its exact endpoints 116", "bin mean in its exact endpoints 117", "bin mean in its exact endpoints 118", "bin mean in its exact endpoints 119", "bin mean in its exact endpoints 120", "bin mean in its exact endpoints 121", "bin mean in its exact endpoints 122", "bin mean in its exact endpoints 123", "bin mean in its exact endpoints 124", "bin mean in its exact endpoints 125", "bin mean in its exact endpoints 126", "bin mean in its exact endpoints 127", "bin mean in its exact endpoints 128", "bin mean in its exact endpoints 129", "bin mean in its exact endpoints 130", "bin mean in its exact endpoints 131", "bin mean in its exact endpoints 132", "bin mean in its exact endpoints 133", "bin mean in its exact endpoints 134", "bin mean in its exact endpoints 135", "bin mean in its exact endpoints 136", "bin mean in its exact endpoints 137", "bin mean in its exact endpoints 138", "bin mean in its exact endpoints 139", "bin mean in its exact endpoints 140", "bin mean in its exact endpoints 141", "bin mean in its exact endpoints 142", "bin mean in its exact endpoints 143", "bin mean in its exact endpoints 144", "bin mean in its exact endpoints 145", "bin mean in its exact endpoints 146", "bin mean in its exact endpoints 147", "bin mean in its exact endpoints 148", "bin mean in its exact endpoints 149", "bin mean in its exact endpoints 150", "bin mean in its exact endpoints 151", "bin mean in its exact endpoints 152", "bin mean in its exact endpoints 153", "bin mean in its exact endpoints 154", "bin mean in its exact endpoints 155", "bin mean in its exact endpoints 156", "bin mean in its exact endpoints 157", "bin mean in its exact endpoints 158", "bin mean in its exact endpoints 159", "bin mean in its exact endpoints 160", "bin mean in its exact endpoints 161", "bin mean in its exact endpoints 162", "bin mean in its exact endpoints 163", "bin mean in its exact endpoints 164", "bin mean in its exact endpoints 165", "bin mean in its exact endpoints 166", "bin mean in its exact endpoints 167", "bin mean in its exact endpoints 168", "bin mean in its exact endpoints 169", "bin mean in its exact endpoints 170", "bin mean in its exact endpoints 171", "bin mean in its exact endpoints 172", "bin mean in its exact endpoints 173", "bin mean in its exact endpoints 174", "bin mean in its exact endpoints 175", "bin mean in its exact endpoints 176", "bin mean in its exact endpoints 177", "bin mean in its exact endpoints 178", "bin mean in its exact endpoints 179", "bin mean in its exact endpoints 180", "bin mean in its exact endpoints 181", "bin mean in its exact endpoints 182", "bin mean in its exact endpoints 183", "bin mean in its exact endpoints 184", "bin mean in its exact endpoints 185", "bin mean in its exact endpoints 186", "bin mean in its exact endpoints 187", "bin mean in its exact endpoints 188", "bin mean in its exact endpoints 189", "bin mean in its exact endpoints 190", "bin mean in its exact endpoints 191", "bin mean in its exact endpoints 192", "bin mean in its exact endpoints 193", "bin mean in its exact endpoints 194", "bin mean in its exact endpoints 195", "bin mean in its exact endpoints 196", "bin mean in its exact endpoints 197", "bin mean in its exact endpoints 198", "bin mean in its exact endpoints 199", "bin mean in its exact endpoints 200", "bin mean in its exact endpoints 201", "bin mean in its exact endpoints 202", "bin mean in its exact endpoints 203", "bin mean in its exact endpoints 204", "bin mean in its exact endpoints 205", "bin mean in its exact endpoints 206", "bin mean in its exact endpoints 207", "bin mean in its exact endpoints 208", "bin mean in its exact endpoints 209", "bin mean in its exact endpoints 210", "bin mean in its exact endpoints 211", "bin mean in its exact endpoints 212", "bin mean in its exact endpoints 213", "bin mean in its exact endpoints 214", "bin mean in its exact endpoints 215", "bin mean in its exact endpoints 216", "bin mean in its exact endpoints 217", "bin mean in its exact endpoints 218", "bin mean in its exact endpoints 219", "bin mean in its exact endpoints 220", "bin mean in its exact endpoints 221", "bin mean in its exact endpoints 222", "bin mean in its exact endpoints 223", "bin mean in its exact endpoints 224", "bin mean in its exact endpoints 225", "bin mean in its exact endpoints 226", "bin mean in its exact endpoints 227", "bin mean in its exact endpoints 228", "bin mean in its exact endpoints 229", "bin mean in its exact endpoints 230", "bin mean in its exact endpoints 231", "bin mean in its exact endpoints 232", "bin mean in its exact endpoints 233", "bin mean in its exact endpoints 234", "bin mean in its exact endpoints 235", "bin mean in its exact endpoints 236", "bin mean in its exact endpoints 237", "bin mean in its exact endpoints 238", "bin mean in its exact endpoints 239", "bin mean in its exact endpoints 240", "bin mean in its exact endpoints 241", "bin mean in its exact endpoints 242", "bin mean in its exact endpoints 243", "bin mean in its exact endpoints 244", "bin mean in its exact endpoints 245", "bin mean in its exact endpoints 246", "bin mean in its exact endpoints 247", "bin mean in its exact endpoints 248", "bin mean in its exact endpoints 249", "bin mean in its exact endpoints 250", "bin mean in its exact endpoints 251", "bin mean in its exact endpoints 252", "bin mean in its exact endpoints 253", "bin mean in its exact endpoints 254", "bin mean in its exact endpoints 255", "bin mean in its exact endpoints 256", "bin mean in its exact endpoints 257", "bin mean in its exact endpoints 258", "bin mean in its exact endpoints 259", "bin mean in its exact endpoints 260", "bin mean in its exact endpoints 261", "bin mean in its exact endpoints 262", "bin mean in its exact endpoints 263", "bin mean in its exact endpoints 264", "bin mean in its exact endpoints 265", "bin mean in its exact endpoints 266", "bin mean in its exact endpoints 267", "bin mean in its exact endpoints 268", "bin mean in its exact endpoints 269", "bin mean in its exact endpoints 270", "bin mean in its exact endpoints 271", "bin mean in its exact endpoints 272", "bin mean in its exact endpoints 273", "bin mean in its exact endpoints 274", "bin mean in its exact endpoints 275", "bin mean in its exact endpoints 276", "bin mean in its exact endpoints 277", "bin mean in its exact endpoints 278", "bin mean in its exact endpoints 279", "bin mean in its exact endpoints 280", "bin mean in its exact endpoints 281", "bin mean in its exact endpoints 282", "bin mean in its exact endpoints 283", "bin mean in its exact endpoints 284", "bin mean in its exact endpoints 285", "bin mean in its exact endpoints 286", "bin mean in its exact endpoints 287", "bin mean in its exact endpoints 288", "bin mean in its exact endpoints 289", "bin mean in its exact endpoints 290", "bin mean in its exact endpoints 291", "bin mean in its exact endpoints 292", "bin mean in its exact endpoints 293", "bin mean in its exact endpoints 294", "bin mean in its exact endpoints 295", "bin mean in its exact endpoints 296", "bin mean in its exact endpoints 297", "bin mean in its exact endpoints 298", "bin mean in its exact endpoints 299", "bin mean in its exact endpoints 300", "bin mean in its exact endpoints 301", "bin mean in its exact endpoints 302", "bin mean in its exact endpoints 303", "bin mean in its exact endpoints 304", "bin mean in its exact endpoints 305", "bin mean in its exact endpoints 306", "bin mean in its exact endpoints 307", "bin mean in its exact endpoints 308", "bin mean in its exact endpoints 309", "bin mean in its exact endpoints 310", "bin mean in its exact endpoints 311", "bin mean in its exact endpoints 312", "bin mean in its exact endpoints 313", "bin mean in its exact endpoints 314", "bin mean in its exact endpoints 315", "bin mean in its exact endpoints 316", "bin mean in its exact endpoints 317", "bin mean in its exact endpoints 318", "bin mean in its exact endpoints 319", "bin mean in its exact endpoints 320", "bin mean in its exact endpoints 321", "bin mean in its exact endpoints 322", "bin mean in its exact endpoints 323", "bin mean in its exact endpoints 324", "bin mean in its exact endpoints 325", "bin mean in its exact endpoints 326", "bin mean in its exact endpoints 327", "bin mean in its exact endpoints 328", "bin mean in its exact endpoints 329", "bin mean in its exact endpoints 330", "bin mean in its exact endpoints 331", "bin mean in its exact endpoints 332", "bin mean in its exact endpoints 333", "bin mean in its exact endpoints 334", "bin mean in its exact endpoints 335", "bin mean in its exact endpoints 336", "bin mean in its exact endpoints 337", "bin mean in its exact endpoints 338", "bin mean in its exact endpoints 339", "bin mean in its exact endpoints 340", "bin mean in its exact endpoints 341", "bin mean in its exact endpoints 342", "bin mean in its exact endpoints 343", "bin mean in its exact endpoints 344", "bin mean in its exact endpoints 345", "bin mean in its exact endpoints 346", "bin mean in its exact endpoints 347", "bin mean in its exact endpoints 348", "bin mean in its exact endpoints 349", "bin mean in its exact endpoints 350", "bin mean in its exact endpoints 351", "bin mean in its exact endpoints 352", "bin mean in its exact endpoints 353", "bin mean in its exact endpoints 354", "bin mean in its exact endpoints 355", "bin mean in its exact endpoints 356", "bin mean in its exact endpoints 357", "bin mean in its exact endpoints 358", "bin mean in its exact endpoints 359", "bin mean in its exact endpoints 360", "bin mean in its exact endpoints 361", "bin mean in its exact endpoints 362", "bin mean in its exact endpoints 363", "bin mean in its exact endpoints 364", "bin mean in its exact endpoints 365", "bin mean in its exact endpoints 366", "bin mean in its exact endpoints 367", "bin mean in its exact endpoints 368", "bin mean in its exact endpoints 369", "bin mean in its exact endpoints 370", "bin mean in its exact endpoints 371", "bin mean in its exact endpoints 372", "bin mean in its exact endpoints 373", "bin mean in its exact endpoints 374", "bin mean in its exact endpoints 375", "bin mean in its exact endpoints 376", "bin mean in its exact endpoints 377", "bin mean in its exact endpoints 378", "bin mean in its exact endpoints 379", "binned probability and input mean", "mean repair exactly complete", "root enclosure 0", "root enclosure 223", "root enclosure 224", "root enclosure 225", "root enclosure 226", "root enclosure 227", "root enclosure 228", "root enclosure 229", "root enclosure 230", "root enclosure 231", "root enclosure 232", "root enclosure 233", "root enclosure 234", "root enclosure 235", "root enclosure 236", "root enclosure 237", "root enclosure 238", "root enclosure 239", "root enclosure 240", "root enclosure 241", "root enclosure 242", "root enclosure 243", "root enclosure 244", "root enclosure 245", "root enclosure 246", "root enclosure 247", "root enclosure 248", "root enclosure 249", "root enclosure 250", "root enclosure 251", "root enclosure 252", "root enclosure 253", "root enclosure 254", "root enclosure 255", "root enclosure 256", "root enclosure 257", "root enclosure 258", "root enclosure 259", "root enclosure 260", "root enclosure 261", "root enclosure 262", "root enclosure 263", "root enclosure 264", "root enclosure 265", "root enclosure 266", "root enclosure 267", "root enclosure 268", "root enclosure 269", "root enclosure 270", "root enclosure 271", "root enclosure 272", "root enclosure 273", "root enclosure 274", "root enclosure 275", "root enclosure 276", "root enclosure 277", "root enclosure 278", "root enclosure 279", "root enclosure 280", "root enclosure 281", "root enclosure 282", "root enclosure 283", "root enclosure 284", "root enclosure 285", "root enclosure 286", "root enclosure 287", "root enclosure 288", "root enclosure 289", "root enclosure 290", "root enclosure 291", "root enclosure 292", "root enclosure 293", "root enclosure 294", "root enclosure 295", "root enclosure 296", "root enclosure 297", "root enclosure 298", "root enclosure 299", "root enclosure 300", "root enclosure 301", "root enclosure 302", "root enclosure 303", "root enclosure 304", "root enclosure 305", "root enclosure 306", "root enclosure 307", "root enclosure 308", "root enclosure 309", "root enclosure 310", "root enclosure 311", "root enclosure 312", "root enclosure 313", "root enclosure 314", "root enclosure 315", "root enclosure 316", "root enclosure 317", "root enclosure 318", "root enclosure 319", "root enclosure 320", "root enclosure 321", "root enclosure 322", "root enclosure 323", "root enclosure 324", "root enclosure 325", "root enclosure 326", "root enclosure 327", "root enclosure 328", "root enclosure 329", "root enclosure 330", "root enclosure 331", "root enclosure 332", "root enclosure 333", "root enclosure 334", "root enclosure 335", "root enclosure 336", "root enclosure 337", "root enclosure 338", "root enclosure 339", "root enclosure 340", "root enclosure 341", "root enclosure 342", "root enclosure 343", "root enclosure 344", "root enclosure 345", "root enclosure 346", "root enclosure 347", "root enclosure 348", "root enclosure 349", "root enclosure 350", "root enclosure 351", "root enclosure 352", "root enclosure 353", "root enclosure 354", "root enclosure 355", "root enclosure 356", "root enclosure 357", "root enclosure 358", "root enclosure 359", "root enclosure 361", "root enclosure 362", "root enclosure 363", "root enclosure 364", "root enclosure 372", "root enclosure 373", "root enclosure 377", "root enclosure 378", "certified moment ceiling preserves S09", "profile beats S09 on finite block 1/4", "profile beats S09 on finite block 1/100", "profile beats S09 on finite block 1/4294967296" ], "array_records": [ { "depth": 0, "states": 1, "array_sha256": "30e06038fb18a7cfda688d7bfe8de1ca8fee6002c5b4a498e6993a3592e88893", "recurrence_and_hash_seconds": 3.3916905522346497e-05 }, { "depth": 1, "states": 3, "array_sha256": "b665f2d722b55c3bc7baaab58d5dd2d8d047e319f7a921a144cac465505d1a72", "recurrence_and_hash_seconds": 0.00012725009582936764 }, { "depth": 2, "states": 9, "array_sha256": "2ecfa7a5c479748a082f4df3172f6a5132cc0c1acf393be32979255126a9c8f7", "recurrence_and_hash_seconds": 0.00014404195826500654 }, { "depth": 3, "states": 27, "array_sha256": "fec568922d9c388f765fdb1998ca22d7e1910e423e639c610db197be26bed32f", "recurrence_and_hash_seconds": 0.00074058398604393 }, { "depth": 4, "states": 81, "array_sha256": "cbb3cc0a784861a03b71211f9a942d4f2f7d9340573df0f8d9619e01956e8ad6", "recurrence_and_hash_seconds": 0.005023375037126243 }, { "depth": 5, "states": 243, "array_sha256": "7eb85f0f0b2510ba5ba1dd22068e427834a39efc4b1386e37ebf5441c54c9333", "recurrence_and_hash_seconds": 0.02591824997216463 }, { "depth": 6, "states": 729, "array_sha256": "9882aa24e34c17d34beb2b63b897d1b9c232ebc4f5d5f2261286d0f7a83f7073", "recurrence_and_hash_seconds": 8.395803160965443e-05 }, { "depth": 7, "states": 2187, "array_sha256": "4d469b9d1b46968cdf1902725384436789d8d3d078e237a91850329c5db05cb1", "recurrence_and_hash_seconds": 3.087508957833052e-05 }, { "depth": 8, "states": 6561, "array_sha256": "136983f28a8ab5113c4b408a708167e7951f7ceba42577b76f960ec95034a4a7", "recurrence_and_hash_seconds": 6.829190533608198e-05 }, { "depth": 9, "states": 19683, "array_sha256": "02fc0712455aa3d9dda930c3699133eeb2bb560602fde8105ff6df3a968e185f", "recurrence_and_hash_seconds": 0.00014399993233382702 }, { "depth": 10, "states": 59049, "array_sha256": "db28d7a6c91ca515d59748ab404ee73ccf36b4d4b9e1fbae422c30475d520bf6", "recurrence_and_hash_seconds": 0.0004163749981671572 }, { "depth": 11, "states": 177147, "array_sha256": "9798ec79a823db0e8d2b901d6ee1bd5dc28c4b5b8e8496e5fc35da87e678afed", "recurrence_and_hash_seconds": 0.0012647499097511172 }, { "depth": 12, "states": 531441, "array_sha256": "7335682aa142a3be6d039c2b867ba06675bfbf68691fda00f1bf70457dfcd549", "recurrence_and_hash_seconds": 0.0037497079465538263 }, { "depth": 13, "states": 1594323, "array_sha256": "58a3d43f1cf8bef5e23f5041d18930e6587a942dc5e9f480bda496f1c8242fa7", "recurrence_and_hash_seconds": 0.013309250003658235 }, { "depth": 14, "states": 4782969, "array_sha256": "005bea3ad5d1d411fdf75206e1556ca832801f3873b3ddfbe3564a800c487b46", "recurrence_and_hash_seconds": 0.06065762497019023 }, { "depth": 15, "states": 14348907, "array_sha256": "32c9cce1c8810f3069728ee6c9f273dccf5b31f5febedc1f98de77a27cf305df", "recurrence_and_hash_seconds": 0.18837479106150568 }, { "depth": 16, "states": 43046721, "array_sha256": "0c53fcb824184505c28582f8cc29bf7e9d2c76f14c76cffbcb4ca70cc8873508", "recurrence_and_hash_seconds": 0.5983449160121381 } ], "grid": { "base": "1/16777216", "ratio": "17/16", "positive_index_count": 379, "formula": "grid[0]=0; grid[i]=base*ratio^(i-1) for i>=1" }, "histogram_counts": [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 34, 275, 1307, 3825, 8448, 17160, 30711, 49072, 70388, 90350, 108754, 122890, 134427, 142126, 150473, 156883, 165098, 171903, 176258, 179394, 181599, 184501, 189158, 192135, 195597, 197881, 200184, 204707, 216439, 231010, 249451, 269103, 284512, 296989, 306316, 310893, 314286, 320437, 326605, 335998, 341957, 343822, 342007, 337935, 332452, 327605, 320495, 314983, 307016, 296454, 286451, 275384, 261739, 251801, 240262, 228572, 216549, 203486, 189427, 176897, 164940, 155743, 145270, 135568, 125349, 115874, 104812, 95682, 87107, 79775, 73310, 67087, 61349, 57179, 52177, 47012, 42314, 37318, 33530, 29220, 25559, 23728, 22669, 20632, 19450, 16949, 14901, 13292, 10764, 9860, 7853, 6605, 7305, 6943, 6328, 5721, 5098, 4256, 3424, 2693, 2491, 1652, 1315, 2056, 2070, 1874, 1606, 1393, 1099, 624, 578, 494, 284, 142, 608, 613, 516, 389, 365, 195, 79, 83, 60, 33, 23, 134, 206, 97, 98, 46, 15, 2, 11, 1, 13, 0, 0, 66, 24, 15, 0, 0, 0, 0, 0, 0, 0, 0, 15, 0, 0, 0, 0, 1, 0 ], "histogram_scaled_sums": [ "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "48748451409063", "439868538012999", "3791909145507465", "19092353009375025", "59289627971134842", "139007129687585223", "299828138266901988", "569925315918035505", "966837114203480901", "1472653415839414848", "2007430986295604805", "2566514876813455308", "3081073951728708147", "3579936986780578548", "4021413159683955585", "4523416414256575557", "5010948320000873853", "5603175576581191914", "6197492619530143383", "6751580245369060518", "7301630284518069000", "7853009706083963448", "8477169665037169209", "9233543963251442469", "9965490696363502203", "10779411003042953637", "11586150071339068419", "12453935241030927468", "13533090867072371112", "15204859867276339470", "17243341258004940021", "19785150451773357096", "22676225384990643195", "25471088049341628783", "28246908551215234554", "30953851252032886350", "33375400409557196667", "35850644169871093941", "38837650892500086825", "42061980390171001323", "45977886712948522332", "49710913669968235773", "53103403315874008953", "56124339586892886135", "58918272936968118318", "61583136615565362300", "64477571518635218337", "67017054279462429156", "69982792215805134822", "72473570030147613621", "74351349189231087948", "76334237205464571858", "77966687091772413888", "78730164492873778800", "80482798749068376603", "81592377163173281475", "82466951646125059980", "83012764247638794498", "82880020659350905221", "81971329912363939815", "81330451555872245532", "80577331927886224332", "80851398911764519662", "80119583257651245915", "79433839933203319431", "78037815353359651827", "76637903762503806948", "73667026160566175520", "71444053367816910045", "69102458238104259936", "67249315052266339347", "65663759899512399456", "63841976912271933786", "62028609606443866515", "61429073185212399594", "59545897122062838819", "57009280661328812484", "54523657466284595247", "51086568765697226943", "48766327553538132726", "45150445428093713547", "41966028454349616990", "41406474262643698656", "42027813861545401038", "40635772984074104073", "40710260965199105478", "37667253934879312128", "35192232912227220957", "33354416467269961077", "28710317624313158052", "27927695746559732712", "23639592437837746290", "21151958932776757050", "24850545062828651808", "25072583662878061434", "24280125480983563149", "23365252732021913877", "22072705511030199819", "19576976527509647109", "16730156175167490987", "13991217981803221620", "13755146418614577267", "9686469231522457437", "8219767080213773595", "13636645957243728780", "14538574095837955800", "14007707847243693528", "12768686577069296016", "11741904261964396275", "9834158134658092758", "5929673876615720706", "5837463670792482894", "5316942970282402530", "3253407023452008423", "1723465789927824879", "7880067161101259091", "8384896277539367910", "7535368451734628544", "6009160449301898727", "6004272861501856788", "3407672451778076892", "1469808105678349677", "1631200161233934981", "1275974319561618915", "737832373237084350", "544733494872603966", "3425385387864172740", "5491385000443914723", "2768022949809404334", "2947284469791177510", "1493494960840685016", "499613261674973199", "74481213011384295", "412501478662311105", "40016666875724526", "551358856279408473", "0", "0", "3400204402463652651", "1333362825906742275", "885917153456306718", "0", "0", "0", "0", "0", "0", "0", "0", "1520873723301872343", "0", "0", "0", "0", "135156244001121987", "0" ], "upper_coset_mean_excess": "4310251/84142880492674351104", "removed_small_atom_probabilities": [ { "grid_index": 223, "probability": "8482791599340857057852368467584999724345163277888740699267256163220592644695288994440683914747201955989778808109765992109780451099179721771253916928391396158594454128643109139216539236889536470082546595174261119329063009831535487385056685921950331851189993909944057856/6908091988993413303576909721348404124007359268988542691211562835265818495597042408178374013275700152997515597090465051996710847108158198660932871771266176654641537907909017127774239865145956524426639074160734875042935370260996900139930345600488142788916109553384116208060290999641" } ], "atom_weights": [ "8482791599340857057852368467584999724345163277888740699267256163220592644695288994440683914747201955989778808109765992109780451099179721771253916928391396158594454128643109139216539236889536470082546595174261119329063009831535487385056685921950331851189993909944057856/6908091988993413303576909721348404124007359268988542691211562835265818495597042408178374013275700152997515597090465051996710847108158198660932871771266176654641537907909017127774239865145956524426639074160734875042935370260996900139930345600488142788916109553384116208060290999641", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "2273669690481606636549610678901683182213988704516206513421550204259240447392619361404994001708751877884376826834891551180343487592605449205796477323693883549006571351072266278193966231567943982670986695195838232542460603268147207726044334676082456357945395220101277172284356/20724275966980239910730729164045212372022077806965628073634688505797455486791127224535122039827100458992546791271395155990132541324474595982798615313798529963924613723727051383322719595437869573279917222482204625128806110782990700419791036801464428366748328660152348624180872998923", "400418647857931566889812628477200546598989553114234301324748721240101228639325285586713003653978460060252392271706389132397701698715880529576895159377258976550170404956953717590083373234018605606707138113542727136545181544990892039583323172788144773228262349574995976976809954/352312691438664078482422395788768610324375322718415677251789704598556743275449162817097074677060707802873295451613717651832253202516068131707576460334575009386718433303359873516486233122443782745758592782197478627189703883310841907136447625624895282234721587222589926611074840981691", "16441911064070185290858638697378320150068604974813467429480903466916085281112851188631924666146027305025063959569209529005915722532249863071929865995969167795646303447397216848934180691602870148088427857924545514338340865297742327299677838124653895136974578547378947202865226593/1996438584819096444733726909469688791838126828737688837760141659391821545227545255963550089836677344216282007559144400027049434814257719413009599941895925053191404455385705949926755321027181435559298692432452378887408322005428104140439869878541073265996755660928009584129424098896249", "5013293226997701321848155232330121839630200340947235478089923212499830334834046670616734239835637365669655838238509028118767033989216822140792462806297486809272095042138873265586005462238498740994855485416352975912825205174519900989725650122519115760602160349336302074064887212363/101818367825773918681420072382954128383744468265622130725767224628982898806604808054141054581670544555030382385516364401379521175527143690063489597036692177712761627224671003446264521372386253213524233314055071323257824422276833311162433363805594736565834538707328488790600629043708699", "290697852424535755276079924855482850233489203216658546392895801397214353308390047442211838418633242966490683173228891223933373472622366808033757416950673744813282431061116680346634272011973090941774090407370569606461439455769114514084174419989306774650085715426934859409632244090225/1730912253038156617584141230510220182523655960515576222338042818692709279712281736920397927888399257435516500553778194823451859983961442731079323149623767021116947662819407058586496863330566304629911966338936212495383015178706166289761367184695110521619187158024584309440210693743047883", "4049890242571186796034747630263298599995657862417357610976511605192501916782045914242037168834168298261946038250286011446575932103671182815071423021256169744186020297164710929363670946508325836616346914198288039006351169287709536783532614903144770127693847062389315029519291087641168/9808502767216220832976800306224581034300717109588265259915575972592019251702929842548921591367595792134593503138076437332893873242448175476116164514534679786329370089309973331990148892206542392902834475920638537473837086012668275641981080713272292955842060562139311086827860597877271337", "105191615966142795245445923172037659905772027587556082560789919149597363000262259368229432417008458848207617738578572417044277204149088937149907565611004530497897577394884912419594307563012992612579763804214489066684054175689587538542979999664384382017245397451885466350532085848280/121092626755755812752800003780550383139515026044299571110068839167802706811147282006776809769970318421414734606642918979418442879536397228100199561907835552917646544312468806567779615953167190035837462665686895524368359086576151551135568897694719666121506920520238408479356303677497177", "1545272498931368451372426096620395800250859273503822462016144053487687360655203495853949779490444731294620877226606053296638137728898893486070117273022750377593046976028033614237429121292446996761312039670043863382346713441442335153298737629779077611907387274009313936021311850674968095/944885766575162606910098429499634639637635748223669553371867152026364521247382241498879446635078394642299174135634696796402109789022507570865857181566840819416395985270194097648384343282563583849639721180354845776646305952553710553510844108711897554746118500819420301364417237595510472131", "400355288887263844522164145442805584069405706864857181094829797244340969988420348645043853338874217271844979501484624684643189024096939116777398133728740884996377595350412744493451764641918518671748346946100139822353584076264235762882983432672077932109179478132115863842290531705886716736/144567522285999878857245059713444099864558269478221441665895674260033771750849482949328555335166994380271773642752108609849522797720443658342476148779726645370708585746339696940202804522232228328994877340594291403826884810740717714687159148632920325876156130625371306108755837352113102236043", "3411754785222938717095269777775634785370471418871701608511980527730354032836645086506178792476317247674076663827293035957557676726691748087756744555135404574233931687444986051250582322716191709645420353354565569310365340326339279222696153758788084033670847400217205044794648952763417079292/819215959620665980191055338376183232565830193709921502773408820806858039921480403379528480232612968154873383975595282122480629187082514063940698176418450990434015319229258282661149225625982627197637638263367651288352347260864067049893901842253215179964884740210437401282949744995307579337577", "235018854117627643538639857415182049593465679928191261902548031619449999248360127965675078670203624843894831913964504371593225618820937735347040602848236402667520236698535105550002013504317311574240703296339078399199306167046455821789613790400708398226254330725559038532627239312818956055438/41780013940653964989743822257185344860857339879205996641443849861149760035995500572355952491863261375898542582755359388246512088541208217260975606997341000512134781280692172415718610506925113987079519551431750215705969710304067419544588993954913974178209121750732307465430436994760686546216427", "1648694711115032563609243291262219684842790032480820079735776404087751039067203460530230584011118334470245160199624212405569168368274846838886177343055744709925267067923814524333547163577922780609224602424175960227103723177668784920567343291040952919110113526689192448725863249096696717814886/236753412330372468275214992790716954211524925982167314301515149213181973537307836576683730787225147796758407968947036533396901835066846564478861772984932336235430427257255643689072126205908979260117277458113251222333828358389715377419337632411179187009851689920816408970772476303643890428559753", "97549721242473623592706953132649088315360525403144468475159727893706146072219562728974832065248120255134847437037115190076099985705822543954947204420990951149145586324167746147416668156827145410691749580382009227102835296155462636608061163058074217694587229860579009297993866616738716299589578/12074424028848995882035964632326564664787771225090533029377272609872280650402699665410870270148482537634678806416298863203241993588409174788421950422231549148006951790120037828142678436501357942265981150363775812339025246277875484248386219252970138537502436185961636857509396291485838411856547403", "1848861737015046141319893821047352918020450999630856652778091221347973674267503839301732731415166150900805352106279803853537937279020104791694167673756404787973412458797025823449939424958352210207621338571896200913313283144532020874640812587534676386058409306916196408881848485006467298059793083/205265208490432929994611398749551599301392110826539061499413634367828771056845894311984794592524203139789539709077080674455113891002955971403173157177936335516118180432040643078425533420523085018521679556184188809763429186723883232222565727300492355137541415161347826577659736955259253001561305851", "33643742522868054233460041388801594020190735452250866535883698106220263672180078225562493909265240080408706087705622425687088815108736312718125442413731513556960413944810166526460207502431938837246344899871613132824937438706993105146962391691048929257560859683253997189935158735650075468736172766/3489508544337359809908393778742377188123665884051164045490031784253089107966380203303741508072911453376422175054310371465736936147050251513853943672024917703774009067344690932333234068148892445314868552455131209765978296174306014947783617364108370037338204057742913051820215528239407301026542199467", "201821094360125520132634740517074198231576541010400807537956911550051573639737474907812139785304805371604404858665706394283475360324304881547993494978458586560847239864229604633101038236382564367289527557939095220025353775545299855863047329312107621160129347384546013112057911211285585727584022851/19773881751245038922814231412873470732700773342956596257776846777434171611809487818721201879079831569133058991974425438305842638166618091911839014141474533654719384714953248616554993052843723856784255130579076855340543678321067418037440498396614096878249822993876507293647887993356641372483739130313", "3599462179963516174706160965771498190694307171987445227241292045475813252251101749740305031299212267572397219822352206301609720761274731320059924463365015747324457109906129445650555731404833983483679369397590533230374002626989972648230924549407232552904125798241963263640530566340952729965251801521/336155989771165661687841934018849002455913146830262136382206395216380917400761292918260431944357136675262002863565232451199324848832507562501263240405067072130229540154205226481434881898343305565332337219844306540789242531458146106636488472742439646930246990895900623992014095887062903332223565215321", "64071524482566206311588754960519989078713382018878980114369606447733596018451799792314550027638508840061206294835826668698560003552961802884463646958156519042285479050856299688057138557213645054016750896523785178527536960806812151260991008481666490301323908020147338970890508937916006415746580951102/5714651826109816248693312878320433041750523496114456318497508718678475595812941979610427343054071323479454048680608951670388522430152628562521475086886140226213902182621488850184392992271836194610649732737353211193417123034788483812820304036621473997814198845230310607864239630080069356647800608660457", "3434309775103565318868956195957310522885007695265466517564265471381134577862642055313721038962960528609356340275728788041438526064120819345393971708132076480804557448031379334641008615802358786906064835543757827646066218931099893559131848653073516157741517113385936532823683105975068352488148847944143/291447243131600628683358956794342085129276698301837272243372944652602255386460040960131794495757637497452156482711056535189814643937784056688595229431193151536909011313695931359404042605863645925143136369605013770864273274774212674453835505867695173888524141106745841001076221134083537189037831041683307", "60125950403768878833580406940164334245250586833405083149705560600540106083095101075361357300113581312719787559918353817711879247815891891528662195168487614214676729908620256883028132831076465668993274207629844492662486052869132932428761753540188923709328413665894244805202773312705151898084759184714194/4954603133237210687617102265503815447197703871131233628137340059094238341569820696322240506427879837456686660206087961098226848946942328963706118900330283576127453192332830833109868724299681980727433318283285234104692645671161615465715203599750817956104910398814679297018295759279420132213643127708616219", "1042856071076333409007298897548960002460441096995664204445327991557523036389415788579524247651611580801284649184559211644302367415196084173878618065734566581029159157503881639817202726290564955389748949236670624763913832070605180376781988201560460729966973841914258223343412497034356400958469801293089026/84228253265032581689490738513564862602360965809230971678334781004602051806686951837478088609273957236763673223503495338669856432098019592383004021305614820794166704269658124162867768313094593672366366410815848979779774976409747462917158461195763905253783476779849548049311027907750142247631933171046475723", "6008308600793590398261624009288555428123461952761897141581813588733391468389865344320433599188575594605147307388495810077148643128536287186289650904040464722750080289427241280604525254878060927171320189141570861180424620580899477552434241165608938019296868146242505383922413860542755931944134435641503573/477293435168517962907114184910200888080045472918975506177230425692744960237892727079042502119219091008327481599853140252462519781888777690170356120731817317833611324194729370256250687107536030810076076327956477552085391532988568956530564613442662129771439701752480772279429158143917472736580954635930029097", "310543271786982426038883194265471232305610745809817517066583540889213952204785760156758535124976776001306397061690161131612089430341826974295647253298732696131637441003567470962377306836740310495537239672723264973210432469286021751296279926067467185951721540150940710949147242222318674140421682233404779605/24341965193594416108262823430420245292082319118867750815038751710329992972132529081031167608080173641424701561592510152875588508876327662198688162157322683209514177533931197883068785042484337571313879892725780355156354968182417016783058795285575768618343424789376519386250887065339791109565628686432431483947", "1798754538025447884993893919175975128324177984757352228732044566662050243856176365280726512087199807838232688580360456941057201861201960401868997541790930387972588520976777152915683942798447748780887555937408896283990477731705875817293677119848262106858196155404660966921300616426750986425208768517557900018/137937802763701691280155999439048056655133141673583921285219593025203293508750998125843283112454317301406642182357557532961668216965856752459232918891495204853913672692276788004056448574077912904111986058779422012552678153033696428437333173284929355503946073806466943188755026703592149620871895889783778409033", "93405361695879597737096295958609236247128494483077906697291256438835343052450007301957547571141007917805671344128729411090234675889658338528524611712678794489206402825920121877358138195040914040885290506693909141620907204646963116471141919027608613190149836924699968249762602030931534766212735017607921101623/7034827940948786255287955971391450889411790225352779985546199244285367968946300904418007438735170182371738751300235434181045079065258694375420878863466255447549597307306116188206878877277973558109711288997750522640186585804718517850303991837531397130701249764129814102626506361883199630664466690378972698860683", "538395970446185621397041754099582723763478174014032230042746851663619831945405216393734815142121403660353281607859197377868098184578203564109442534528796446865735422401661321328807568626837728474365148498745845440355832296796919861198171771118602996781036739591989809331922085590428825208853128368596164842847/39864024998709788779965083837884888373333477943665753251428462384283751824029038458368708819499297700106519590701334127025922114703132601460718313559642114202781051408067991733172313637908516829288363970987252961627723986226738267818389287079344583740640415330068946581550202717338131240431977912147511960210537", "27905197646469916682789109751359117338345776659713130372325405087688769382321618057091960751580717108967445026143419372951126537605951052584012620453581729733460439708620353872042356275644176348904872523163432004302555657126404893992075958597538411023988810439937068125503968876276408210544233353759591773850425/2033065274934199227778219275732129307040007375126953415822851581598471343025480961376804149794464182705432499125768040478322027849859762674496633991541747824341833621811467578391787995533334358293706562520349901043013923297563651658737853641046573770772661181833516275659060338584244693262030873519523109970737387", "479191991206229190878572993722680074183337274841638509060401284002695282102107138624322110601286838957286182867078399246441763809512991602413966844795331818030033535869850049963419922051859754803198453255958799465575536600255534279507364998162651809166055681753509196159839878166277309648755379925821320349378664/34562109673881386872229727687446198219680125377158208068988476887174012831433176343405670546505891105992352485138056688131474473447615965466442777856209713013811171570794948832660395924066684090993011562845948317731236696058582078198543511897791754103135240091169776686204025755932159785454524849831892869502535579", "8271976646526212695173750134979404725836610501540903657202808890181888431182758077099921427730514758512689649603955464134764730076412782744980314511353482216292179947620085017655699235629827962746161590041316984248960517474132589864380442035103423876388488701258059115125516437331229015891402786931566955830204979/587555864455983576827905370686585369734562131411689537172804107081958218134363997837896399290600148801869992247346963698235066048609471412929527223555565121234789916703514130155226730709133629546881196568381121401431023832995895329375239702262459819753299081549886203665468437850846716352726922447142178781543104843", "16254680574379486936069295446339905441586093495562936079939848435984283710919556775487209911207629075799325679373594246537703585542622028981123983059872489708982294051254700762739767957987467451858703118542070936016889970631533104761571822269355580075760230684179270948205331365558050238523010413878934071899150863/1109827743972413422897154589074661253943061803777635792437518868932587745364909773693804309771133614403532207578322042541110680314040112668866884755604956340110158731551082245848761602450585744699664482406942118202703045017881135622153230548717979659534009376260896162479218160384932686444039742400157448809581420259", "155647151795672180068039880808613173252575166584459249007997000293907929232702659853857411920689729475693451578090014641029210100040094851859776052555076737602531138987692452054484000342944026165252101636048254293615910894939882962408886239052156827716503131412196439622899488320044616948854675834397060487310167410/9988449695751720806074391301671951285487556233998722131937669820393289708284187963244238787940202529631789868204898382869996122826361014019801962800444607060991428583959740212638854422055271702296980341662479063824327405160930220599379074938461816935806084386348065462312963443464394177996357681601417039286232782331", "48260877970224758379739229160762752693235874002800120645667454717380333468092215618719347434484624850878578076572253767253854384144253781787499113701758220549690029920670060707482146234903766482032535102115306507621655991669254500990243174998380722134314012335170465403791883517680208871612689757384819641336169017835/2886661962072247312955499086183193921505903751625630696129986578093660725694130321377585009714718531063587271911215632649428879496818333051722767249328491440626522860764364921452628927973973521963827318740456449445230620091508833753220552657215465094447958387654590918608446435161209917440947369982809524353721274093659", "887680452602747199587650027910098662460887818318787324127515336300761894594852882651644109731244258453886602830339191724866054203871300212906060649637048601819240686057724662006115626607304104543551418181022574105119043139085849286882840594513049768726100322366842705260732960849540839516118024820279703327270634714767/49073253355228204320243484465114296665600363777635721834209771827592232336800215463418945165150215028080983622490665755040290951445911661879287043238584354490650888632994203664694691775557549873385064418587759640568920541555650173804749395172662906605615292590128045616343589397740568596496105289707761914013261659592203", "16114503105203610083555705987645999104752964252973039282910722868145552453449010675067314972919003342007059385517693486461223426869927180262163337563625561964660889737853003583990336413320116294391784066592224848841833572512756708364190520748331055929538220766341766885188612846456907723849171773505092896354415493571440/834245307038879473444139235906943043315206184219807271181566121069067949725603662878122067807553655477376721582341317835684946174580498251947879735055934026341065106760901462299809760184478347847546095115991913889671649206446052954680739717935269412295459974032176775477841019761589666140433789925031952538225448213067451", "287884589342522166531502614462129096078702241651842764330534414619437201125890834999049508990973325070447890957197316424973340439730206205141779641952685374103390144906005578932908048783441090720168958590315184150168436826755726992589076403841676032450671925436144917083669272003874973740772079152267335441941034864468973/14182170219660951048550367010418031736358505131736723610086624058174155145335262268928075152728412143115404266899802403206644084967868470283113955495950878447798106814935324859096765923136131913408283616971862536124418036509582900229572575204899580009022819558547005183123297335947024324387374428725543193149832619622146667", "5071702859392672689315961762568650661212613534729784129943651324974980173815087546260637475036460039934469221521210265454043366790846099418582457163936988078093213254798160971943312517435716870699760917784788243636805072296658868788839265007223262234275219935635293090593477904379745913053643828514644722164011317139860284/241096893734236167825356239177106539518094587239524301371472608988960637470699458571777277596383006432961872537296640854512949444453763994812937243431164933612567815853900522604645020693314242527940821488521663114115106620662909303902733778483292860153387932495299088113096054711099413514585365288334234283547154533576493339", "88351126165867642433794517247602157271407427147136896204125436190862106418702426769367169795987886942076282811694391546071063477087166085054380572919375150871015180122225555857056841890220179550307590535673615464399770247081233050478752449188912618833930522040242408260256015537423475621575540471184364021725868343753259293/4098647193482014853031056066010811171807607983071913123315034352812330837001890795720213719138511109360351833134042894526720140555713987911819933138329803871413652869516308884278965351786342122974993965304868272939956812551269458166346474234215978622607594852420084497922632930088690029747951209901681982820301627070800386763", "9911108668855277586092698553030509954459701725566756335164001697766106159186036590931856800590859958786707861943245881865991201894630599917226978871800285364433554482889513414017649510111647299520952546443401842692256649746960942353761827597099594504962939387773323747712398588476388077899536559011237301046527229483535630/455405243720223872559006229556756796867511998119101458146114928090258981889098977302245968793167901040039092570449210502968904506190443101313325904258867096823739207724034320475440594642926902552777107256096474771106312505696606462927386026023997624734177205824453833102514770009854447749772356655742442535589069674533376307", "26190931889674958440290481441908329301148080370249145360019430705214636975087003183402477966673696673067548605349444229430210873150888630224767605053573645722936298543221826763306846255052490467478325979595358723321711354891934536427617154495211443266878553929136486106356284648095176174338702661458202892210491209867815705445/1184509038916302292525975203077124428652398707107782892638044927962763611893546439963141764831029710605141679775738396518222120620601342506515960676977313318838545679290213267556620986666252873539773255973106930879647518827316873410074131053688417821933594912349404419899640916795631418597157899661586093035067170223461311774507", "453566455414482160790987436541934741220403210917140611219541555371991519918141907532482224117414775728510575193997266611245443580920155603109654261983293457014789527552698071933031981359888799947989320496779362610842571380855887736496875071863053559399260681856833932332130328108430130517781545552337528865855326069766578968413/20136653661577138972941578452311115287090778020832309174846763775366981402190289479373410002127505080287408556187552740809776050550222822610771331508614326420255276547933625548462556773326298850176145351542817824954007820064386847971260227912703102972871113509939875138293895585525734116151684294246963581596141893798842300166619", "7899463733642982306551161815810514996315616553230301023017808593405739852668725430060994486046547559749164153012356989431851682648917578863117211234306718704402763803810641482414249885454615808126138734124353888394945825526847637692804653397251429098915834728290025886557110371228710659092717194539897452842361911976938451661518/342323112246811362540006833689288959880543226354149255972394984181238683837234921149347970036167586364885945455188396593766192859353787984383112635646443549144339701314871634323863465146547080452994470976227903024218132941094576415511423874515952750538808929668977877350996224953937479974578633002198380887134412194580319102832523", "15311728360251032458830855058823862860220479709803144595262603776465507388516216426559898528949500349978958972722067741330618378800242034211656193152956347203479756722963587310865538857863385075211270550215178669825458928286617712192610015448658356798957036420850277500401206548666234037231062251800839644008156285428064135305341/646610323132865907020012908079768035329914983113393039058968303453450847248110406615435054512760996467006785859800304677113919845446043970501434978443282259494863880261424198167297656387922263077878445177319372379078695555400866562632689540752355195462194644930291546107437313801881906618648529004152497231253889700873936083128099", "788673525330310074449658863863872816001717456355293082994605374375150550542996953353532816878943542799213757443025231954466535368466488169839315988669171540915467816072068467724467812548710078354703562520967668513547006861117751124367292067664696097883632943612739843724077751090478792411732978946342445243802785524174287045321610/32977126479776161258020658312068169801825664138783044992007383476125993209653630737387187780150810819817346078849815538532809912117748242495573183900607395234238057893332634106532180475784035416971800704043287991333013473325444194694267166578370114968571926891444868851479303003895977237551074979211777358793948374744570740239533049", "40193977027877815544295461867438917913444526157209491972711983385008063740747088150709513654500971637593527205701732538821871339769897964862852741905546717876538882433789453374438773717037265444678630941917417618425895381142438330475685863657356514358196779256728691080394161570368759233412665427753750360581670768196829229402431095/1681833450468584224159053573915476659893108871077935294592376557282425653692335167606746576787691351810684650021340592465173305518005160367274232378930977156946140952559964339433141204264985806265561835906207687557983687139597653929407625495496875863397168271463688311425444453198694839115104823939800645298491367111973107752216185499", "678098311026287450890368653283007526945470048290552704675548571525323929049475643440747250514510475173724817876692698016015455305963777918068603221730206290373557077741882108487300445632275611737480174815154596481188594093333653513606072302489643858239478094954226991530994672227387960963876293783041810294902642076310300039189771759/28591168657965931810703910756563103218182850808324900008070401473801236112769697849314691805390752980781639050362790071907946193806087726243661950441826611668084396193519393770363400472504758706514551210405530688485722681373160116799929633423446889677751860614882701294232555704377812264956782006976610970074353240903542831787675153483", "11358590052148623229833463785842130687856386500750664271789524176264721098330324873411475784466313432015067093373598953920160129330595264110818106977711826259154232170420612430562612708719970939536310849441423456064882329601280975040937122944736504106861717083678941735372540254228315303024307208584790886858794052155644598024061312948/486049867185420840781966482861572754709108463741523300137196825054621013917084863438349760691642800673287863856167431222435085294703491346142253157511052398357434735289829694096177808032580898010747370576894021704257285583343721985598803768198597124521781630453005922001953446974422808504265294118602386491264005095360228140390477609211", "21117206984016333216994225932157596277487973340146620572076739942515766694758001288007968666973078586389491199051858168373702752947903528174518931071336994934517083336336710745566553916568643395587880761931241483997991874824837846979690856224592878172859716971073441840332320396229646755669651447618637916980036506237931630865027117469/918094193572461588143714467627415203339427098178432900259149558436506359621160297605771770195325290160654853950538481197932938889995483653824255964187543419119598944436344977737224748505986140686967255534133152108041539435204808195019962673264016790763365301966788963781467622062798638285834444446248952261276454069013764265182013261843", "3174545329354572209168438126295698678169095599685785898159310152923099291086737402710523793428349112234984711946729592324270833084786161827237785731459771994425742040463666312039685612323010050703089876089837058373878517985513299011444402393525673176790645148172032354846116612864970037828949941452624067848453013538397892011550404668863/140468411616586622985988313546994526110932346021300233739649882440785473022037525533683080839884769394580192654432387623283739650169308999035111162520694143125298638498760781593795386521415879525105990096722372272530355533586335653838054289009394568986794891200918711458564546175608191657732670000276089695975297472559105932572848029061979", "5872137054526809585662335369261255676420418656568153542883669990489978344134033191947547761654116212770766418084725194082350002187981732700692138700882583977483017108943797916778105517644454828324007007788890779865042309068288710736788625936883578234109860338551209175557677203685386306187063347915567163669496845548811582450356166699151/265329221942441398973533481144322993765094431373567108174894222388150337930515326008068041586449008856429252791705621066202619339208694775955209973650200048125564094942103698566057952318229994658533536849364480959224004896774189568360769212573300852530612572268402010532844142776148806464606154444965947203508895225944977872637601832672627", "293392925743793518765926308351883141344030728097052049590132374183404692699484450282520756515324416709181520641172067113073033407203204201412919859418919093374571075954155004175008252115207265980125898966528641653613746215440064860011314903223314543523662002509820057046954549817708156069062187842820668614025264125716794437114303055076680/13531790319064511347650207538360472682019816000051922516919605341795667234456281626411470120908899451677891892376986674376333586299643433573715708656160202454403768842047288626868955568229729727585210379317588528920424249735483667986399229841238343479061241185688502537175051281583589129694913876693263307378953656523193871504517693466303977", "14516850115150869623679580187086603608318363689010107287265673571932854003458807297943908674811461159677845348463726901463235669523702626845520259325835805076293709062576707905791990021737754559261515932710138775233454653464433880766278388822133525165171157581698665232571945319286368546472613359595316464128903316427913347933484251078264806/690121306272290078730160584456384106783010616002648048362899872431579028957270362946984976166353872035572486511226320393193012901281815112259501141464170325174592210944411719970316733979716216106845729345197014974941636736509667067306360721903155517432123300470113629395927615360763045614440607711356428676326636482682887446730402366781502827", "238154088813087275847376466951634839378481612902023473955720560474171846564686779499547827607548534508530397868292883493625695035632019910310627057914806006855183409380203659122221573100253710980149949119794460275141611871311963544499650600084917068019608027121571385751220813249990963200174331902875016528373054992983613358353444427048375539/11732062206628931338412729935758529815311180472045016822169297831336843492273596170098744594828015824604732270690847446684281219321790856908411519404890895527968067586054999239495384477655175673816377398868349254574007824520664340144208132272353643796346096107991931699730769461132971775445490331093059287497552820205609086594416840235285548059", "3907413518799079875861931803374823075161971486054813467937245776435153106265194647575060452017925293725399828910204904107625059812359370235239862037521997578347134651569839444755345600660944032310770924782143387768473395619767675642298350286203756266158948019510690144330144168963568307603005725648500372558966927527749001747661467175395971336/199445057512691832753016408907895006860290068024765285976878063132726339368651134891678658112076269018280448601744406593632780728470444567442995829883145223975457148962934987071421536120137986454878415780761937327758133016851293782451538248630011944537883633835862838895423080839260520182573335628582007887458397943495354472105086283999854317003", "2351566925991421182698539150954125958889613033561381388391328934141644405919806707985093260613651713487065129320210606228852199850194213743278214343871094344302583317335122047618206528767992938845865346213501357444063280065792857365413115230683642479804425595950262328492273438684792392588845749968499943600870672858421351918360564720101046449/125576517693176339140788109312378337652775228015592957837293595305790658121002566413279155107603576789287689860357589336731750829036946579501145522519017363243806353050736843711635782001568361841960484010109367947106972640239703492654672230618896409523852658341098824489710828676571438633472100210588671632844176482941519482436535808444352718113", "343116494072342985380770131778112304158659886118841918690354743913715368942276473692057014478676401668329474880070161633963890001435238267534105924786380383879572109728498345642635230116776542470227329770231802734604547638410292382644429751604251963204770484577619342774721960814113297480650738392443301888482924668810231806682072870270508763795/19213207207055979888540580724793885660874609886385722549105920081785970692513392661231710731463347248761016548634711168519957876842652826663675264945409656576302372016762737087880274646239959361819954053546733295907366813956674634376164851284691150657149456726188120146925756787515430110921231332220066759825159001890052480812789978691985965871289", "5600262329214189527813193484722428485788171523690851603400827579639081665518684012427626125898325917270636249800371607351751076812649253087284231914237746919300450066237515166914384388793199669632254460850330680883422011215373061361383959039713246927147940872315674636836550992810889485114064215230521496029444211167731296772892406064129328759314/326624522519951658105189872321496056234868368068557283334800641390361501772727675240939082434876903228937281326790089864839283906325098053282479504071964161797140324284966530493964668986079309150939218910294466030425235837263468784394802471839749561171540764345198042497737865387762311885660932647741134917027703032130892173817429637763761419811913", "30264967261503820717923872302806395958117232679419648880275855721485091121299482440396496345938791309541620593415256307929075138750287649243450336076475354597204660598736402958582045496896623726928759322605775914092661856422979231926355112892920662712913192416501087284741946261737926304409952212736196067789727357287286900607764897104225036814812/1850872294279726062596075943155144318664254085721824605563870301212048510045456826365321467130969118297311260851810509234089275469175555635267383856407796916850461837614810339465799790921116085188655573825001974172409669744492989778237214007091914179972064331289455574153847903863986434018745285003866431196490317182075055651632101280661314712267507", "4389440611417010612593893325935633100252490077129821805713755093120471365738726666225507707867286474804203312534567232388151003886041700790827595010470246598269059245996699236771927213898667085942233661347815560447351891833876277879092024631684322222645274706269698314685713744691978078192466134531688798483129712588498738130932744954262524589705125/283183461024798087577199619302737080755630875115439164651272156085443422036954894433894184471038275099488622910327007912815659146783860012195909730030392928278120661155065981938267368010930761033864302795225302048378679470907427436070293743085062869535725842687286702845538729291189924404868028605591563973063018528857483514699711495941181150976928571", "70422972140646000273506690064667338840745816906255655086108332296065094110383371527812586248757353475770509737026655614168110101682269954182729787976573031110454094218389799992979015777141181625710317305751007095752814101835838061398612645817315037264474886524397249633030036983680454348613549141160787632566352602397212846598984361504902914245986158/4814118837421567488812393528146530372845724876962465799071626653452538174628233205376201136007650676691306589475559134517866205495325620207330465410516679780728051239636121692950545256185822937575693147518830134822437551005426266413194993632446068782107339325683873948374158397950228714882756486295056587542071314990577219749895095431000079566607785707", "124518674818639511875719561905820805465980935071110552580809149369106783518477828419932237477598697841919903648656546818707928135629715654978372311984621797719105166169330687514050079216886324904939087288481104281002275129424037720430034681367466957421942040006011312526496238492356838507427361991819535158746085236284461537671111838934117102447581467/9093335581796294145534521108721224037597480323151324287135294789854794329853329387932824368014451278194690224564945031867080610380059504836068656886531506252486319008201563197795474372795443326531864834202234699109048707454694058780479432416842574366202752059625095235817854751683765350334095585223995776468356928315534748416468513591889039181370261891", "1972945757961298011385646804317840820601866237832786346733797580221406642488675010173092196895227484118569090882734424565807495108221152164010965010401730923295735023688157042497669360225855877885976831030938730689183740945057081350988423505244782644422924824575012767387797067494588108546287971659573440231315018653221194568650471295225650944771989689/154586704890537000474086858848260808639157165493572512881300011427531503607506599594858014256245671729309733817604065541740370376461011582213167167071035606292267423139426574362523064337522536551041702181437989884853828026729798999268150351086323764225446785013626619008903530778624010955679624948807928199962067781364090723079964731062113666083294452147", "281236520374925255014927279968758107290476272499835741693216198732442317487723215903420584601276855256939467208311183701657969119823778769252425651839910555768516565474980899293762343728036458465484677019746310713420497096043856550020722643888424493632628793757551829037098410661053925733663852174979062613254555335118536278406920307148338053710823671356/23651765848252161072535289403783903721791046320516594470838901748412320051948509738013276181205587774584389274093422027886276667598534772078614576561868447762716915740332265877466028843640948092309380433760012452382635688089659246888027003716207535926493358107084872708362240209129473676218982617167613014594196370548705880631234603852503390910744051178491", "4479759535891707589137684759940897569557883418409429109969151180205050043328578831025184111792889510172108257972432990132556269970392714036466647257728781452264183380790955427985270144727455791863754000008173902920887655444015344976608125593805344181202276007093555848023903861976295781095681748659412113324539666164824600420389597516252451478197132964303/402080019420286738233099919864326363270447787448782106004261329723009440883124665546225695080494992167934617659588174474066703349175091125336447801551763611966187567585648519916922490341896117569259467373920211690504806697524207197096459063175528110750387087820442836042158083555201052495722704491849421248101338299327999970730988265492557645482648870034347", "71772899990337072322118402540403465144616561666027294770440724965799474269477686344573222372129552343550478762090789005210953891109941587394495902219237342015247553422156797259639840812901893455756434619819508318359219833776487947929235951633665500384882621230688825670344135651562373343415029428840777485128229880184756532512001933362063258912740579749318/6835360330144874549962698637693548175597612386629295802072442605291160495013119314285836816368414866854888500212998966059133956935976549130719612626379981403425188648956024838587682335812233998677410945356643598738581713857911522350639804073983977882756580492947528212716687420438417892427285976361440161217722751088575999502426800513373479973205030790583899", "1138152876357328172588310604758609833794271025322678974843365488003178104057559690725548497950813585829042918257074374985067993792087891017937574715819788103375662947472330409492044347898522981433481333086036755232829387207151529864425269967977861934271683378157099135858432929429329685035457959769731651640838511168003951218054963932548748168133876520664368/116201125612462867349365876840790318985159410572698028635231524289949728415223028342859225878263052736533104503620982423005277267911601335222233414648459683858228207032252422255990599708807977977515986071062941178555889135584495879960876669257727624006861868380107979616183686147453104171263861598144482740701286768505791991541255608727349159544485523439926283", "17939064405264739916020250267436541830952585347712777812332799917777415883795197029531343278008806908931348403380934213594912556602891598880730636378566371886416411153846951684943337981625804739780501538637752271065375624459232528543703636460808905441489524050134035517271108013473117459500602321200071920651194111510605349328082433359633895716508954919447205/1975419135411868744939219906293435422747709979735866486798935912929145383058791481828606839930471896521062776561556701191089713554497222698777968049023814625589879519548291178351840195049735625617771763208070000035450115304936429959334903377381369608116651762461835653475122664506702770911485647168456206591921875064598463856201345348364935712256253898478746811", "282593680573430746181428580774302704401751672734830201935527198328434415788361798964137573495538338786206298948347602484045641939040388345281556972929688641704126037173529791666692716129066014025453746863645175597506043676622603946805527633984922286349890959084558370679369465829285836193090765736961709460054351001703405097530244914091606046781147426008815730/33582125302001768663966738406988402186711069655509730275581910519795471511999455191086316278818022240858067201546463920248525130426452785879225456833404848635027951832320950031981283315845505635502119974537190000602651960183919309308693357415483283337983079961851206109077085296613947105495256001863755512062671876098173885555422870922203907108356316274138695787", "485799541684846541710068950190123258434474007436405768658826376710437792217794589834243788648015287185430320607423377009295780863551041013539586213880059232847749342924158775438142705364362025507041710083301133409829231307918384158344217911503871165276800829098046471747023822036137942414741768927086479971829448449427682093453215456745262921197359193263096684/63432903348225563031937172546533648574898687127073934964988053204058112855998970916496375193322930899398571380698876293802769690805521928882981418463098047421719464572161794504853535152152621755948448840792470001138342591458514250916420786229246201860634706594607833761590050004715233421491039114631538189451713543740995117160243200630829602315784152962261980931", "67873355711422385649649559683800866004635863884562861105267060695217020292804921374876584866872423982911632047220528465218545291386498676365095148918937953677157053901481723356272718744973864292190895829352176906786497345494551612900169116194726951168003617800825672508038581291300469356761188545753153375936449955494949754184710390837018162921454745459243582818/9705234212278511143886387399619648231959499130442312049643172140220891266967842550223945404578408427607981421246928072951823762693244855119096157024854001255523078079540754559242590878279351128660112672641247910174166416493152680390212380293074668884677110108974998565523277650721430713488128984538625342986112172192372252925517209696516929154314975403226083082443", "1050538781608548667654517396558915777533498771999616271525011417681079754145328842442529773815947467488096404742060298895283769594846255482303572278230087265270028182591463191614473649535591074784439084362037825277241849986751407098730357676928568322907648757046290020978477588469319554540266176172244246623593969569510897332797517074956589927749144437066759469795/164988981608734689446068585793534019943311485217519304843933926383755151538453323353807071877832943269335684161197777240181003965785162537024634669422518021343892327352192827507124044930748969187221915434901214472960829080383595566633610464982269371039510871852574975613895720062264322129298192737156630830763906927270328299733792564840787795623354581854843412401531", "16259963684051743041260352400075764347817500358181364584397447477310182785269331450930231056069599106333462268977253313172017497242986269993144024896802321805207475390787040957170496580124108703831852576801496051920297210778861204656722289991590526659925153721596517378787619913451027910641399160625932342645911952717904817180352351137681131085829546267049456598303/2804812687348489720583165958490078339036295248697828182346876748523837576153706497014720221923160035578706630740362213083077067418347763129418789380182806362846169564987278067621108763822732476182772562393320646040334094366521124632771377904698579307671684821493774585436227241058493476198069276531662724122986417763595581095474473602293392525597027891532338010826027", "253981594169893540152282885772377840413707433299015493902673227174895277900185542370921240066065205477420523352187414385137002597130652874571472497326871017878005109057297794195593838923239914634025373475585132361044310399708132315074373077658398277707612908785790005932245845920507353069998654235102084388437718433156595475746069776931138462530648698558911455619758/47681815684924325249913821294331331763617019227863079099896904724905238794613010449250243772693720604838012722586157622412310146111911973200119419463107708168384882604783727149558848984986452095107133560686450982685679604230859118757113424379875848230418641965394167952415863097994389095367177701038266310090769101981124878623066051238987672935149474156049746184042459", "1321662945656364622505161074526109864810384078908109876505955474337883492805481669578679835666292135078903713591904711777592891928612201769241696576730109681898878231412478810741924397462988921505640548856803420526924248097004570351610054926518763405053979601054423978248385522932612495930891173233341831557357718959741745969544901892541877911454215596339413419916949/270196955547904509749511654001210879993829775624557448232749126774463019836140392545751381378597750094082072094654893193669757494634167848134010043624277012954181001427107787180833477581589895205607090177223222235218851090641535006290309404819296473305705637803900285063689890888634871540414006972550175757181024911226374312197374290354263479965847020217615228376240601", "20543961970821101355738237832946340984144977762955008599226574113206871138828570538172124310630382251809036980356895791374793286540646385729422750523983563349319075188659110636136571731605182156141461831477236085099203942048087129501804396058475785164026293989310046073973829592951507730469310551650824837096981858846687729023230322871118027636064181651147352156684135/4593348244314376665741698118020584959895106185617476619956735155165871337214386673277773483436161751599395225609133184292385877408780853418278170741612709220221077024260832382074169118887028218495320533012794777998720468540906095106935259881928040046196995842666304846082728145106792816187038118533352987872077423490848363307355362936022479159419399343699458882396090217", "965829466967040847952171106307749805530097511958445802983630549463870391338316893087849471282638532064195392644506491122145142723296119675929069167476467371181590594943668962839839157627045382764660232962867019939329356392999493802304824326528380836250447341717379320605910107901410252518801394982255117967287746879215589657983733986186848677134301093054647201444471355/234260760460033209952826604019049832954650415466491307617793492913459438197933720337166447655244249331569156506065792398911679747847823524332186707822248170231274928237302451485782625063238439143261347183652533677934743895586210850453698253978330042356046787975981547150219135400446433625538944045201002381475948598033266528675123509737146437130389366528672403002200601067", "5070155572358309482903471485406908249473117952401596574072690445336023883710495513764296955844382810068160862320748443782224114565489850755057393167293600303212592536240133032179672176168154397098854209167345135037598031827766661412628426652953463634211601383093056369022675370749568025275055808557866588495315975934082429514219148353599664831144484773887698982416537323/1327477642606854856399350756107949053409685687643450743167496459842936816454957748577276536713050746212225220201039490260499518571137666637882391344326072964643891260011380558419434875358351155145147634040697690841630215408321861485904290105877203573350931798530562100517908433935863123878054016256139013495030375388855176995825699888510496477072206410329143617012470072713", "77775433767646456669234659598343314923233429779147515058721017611476468954937213161710745426556940535410230235974586575082346044286264639898261507196620797110924274243738203398697398436593674343800711570845628726729348864171401562497060063510599041091863747807910417637296321776324162309722864302570928732031542865857457644955486465353614815819507177874865687629112112924/22567119924316532558788962853835133907964656689938662633847439817329925879734281725813701124121862685607828743417671334428491815709340332844000652853543240398946151420193469493130392881091969637467509778691860744307713661941471645260372931799912460746965840575019555708804443376909673105926918276354363229415516381610538008929036898104678440110227508975595441489211991236121", "210151716565372917083530629748592618936555112686234814753548916320094017723074703332176699290560620268611488170948205603821937330761356313088526351596149590415539006878682130854949338550854555104341258089807579585983238771595397349542703544254620617187505959174740004387749078782478403700131252151271734337600440133465857769341747418088573083093598135346381480669192781802/67701359772949597676366888561505401723893970069815987901542319451989777639202845177441103372365588056823486230253014003285475447128020998532001958560629721196838454260580408479391178643275908912402529336075582232923140985824414935781118795399737382240897521725058667126413330130729019317780754829063089688246549144831614026787110694314035320330682526926786324467635973708363", "2010556837200142232207761633859149968282418110533590513216830413638981057747742005230621778717485282231127003662737713040395746332722211410174051388236340073659783190611093041751812284999012505353041273379702402525346164506353293118946393211623005121512110638078344399423754244443611456900565380333121334622214457334201682549934646155106053601224771830006980612196525555314/724655295347497545498890029417594855489087309265808166797990011912038731027023046528906624985690924015629167427523001738870459415555484021324020963852666275032826417826212520390520393626175469469790036226883083900547694255676145053360864143352744572874791991797850177760498237325210614179208820207378997033453803809493942731165740394694674354650638899327453621153585051915441", "273600820934692831904204921452471164116694631387586496145151954003302147239234202729392316958622279339593794239085658548402374765709127379741778702300712753882884387251543363627241597305310670799693296058433731964724134822761916099548998939721229024706426111846322359172894623266783230525021666074040777156203079963185511507610683964295821117770483939491434819623528083134238/110872260188167124461330174500892012889830358317668649520092471822541925847134526118922713622810711374391262616411019266047180290579989055262575207469457940080022441927410515619749620224804846828877875542713111836783797221118450193164212213932969919649843174745071077197356230310757223969418949491728986546118431982852573237868358280388285176261547751597100404036498512943062473", "12352350422476403925426955037420664557422245695683983635820956302893288682232399316024923569835781497963398172361486589605334334259511752599089713488861940643612771414861699279293944625281882051429374727642687597406723206892041083618628284561992260342150337940916133285939755645931896597606024219446225781522848108972743473251247347842410164207353686381017191880067757829440580/5654485269596523347527838899545492657381348274201101125524716062949638218203860832065058394763346280093954393436961982568406194819579441818391335580942354944081144538297936296607230631465047188272771652678368703675973658277040959851374822910581465902142001911998624937065167745848618422440366424078178313852040031125481235131286272299802543989338935331452120605861424160096186123", "182795575280547736535145928620238245992949928128019730211353338610785954516134376589609818498618538712328521198145202304278870757674733517438262307836068680678165128234033235614415889831986229779301267929028708235905765626507476360356569475927484770430680643761868309672404402424931307059583235388553684142956584777947117927639219217846759749843046577363694976958552467066860183/96126249583140896907973261292273375175482920661418719133920173070143849709465634145105992710976886761597224688428353703662905311932850510912652704876020034049379457151064917042322920734905802200637118095532267962491552190709696317473371989479884920336414032503976623930107851679426513181486229209329031335484680529133180997231866629096643247818761900634686050299644210721635164091", "930223025178752525583294527842748855298362492054766555182987712151204820257660746772336022685196558210932871841085031038188703018325950350240897315351787785402538263771537938082613028007549885823865593561622429716918958866656140134881279349638837482261565822853148592336434704291278697468414242693182870928233677459739453413032939641466774281275103593518496182971747138734930112/544715414304465082478515147322882459327736550414706075092214314064148481686971926822267292028869024982384273234427337654089796767619486228505031994297446859613150257189367863239829884164466212470277002541349518454118795747354945799015774607052681215239679517522534202270611159516750241361755298852864510901079856331754692317647244231547645070972984103596554285031317194089265929849", "44945259638060095209393730479626995615706710886320400615183030951246083545467729307386551235393080844332080541635767847053960230939268891017538065877130204797964107514646889342211151934991513665453140237759230363363866861735608769508616623102479928368072704044217684032226958665563526834292858007284369997652757333751611960628409003668470522519958654009488040130897155651663928109/27780486129527719206404272513467005425714564071150009829702930017271572566035568267935631893472320274101597934955794220358579635148593797653756631709169789840270663116657761025231324092387776835984127129608825441160058583115102235749804504959686741977223655393649244315801169135354262309449520241496090055955072672919489308200009455808929898619622189283424268536597176898552562422299", "713514565015500812677211715292525463911168288780777274722473161799342862379846589604463319725840243515978855466575695613455818724957985208045306140187452732075645241703928359489246039918253914217064401148264297806109817041498979288847309929135327523905192600928523567719279169923448762018424535338060648034320915341175548719208566135958784530066221487895069499997749318660555004488/472268264201971226508872632728939092237147589209550167104949810293616733622604660554905742189029444659727164894248501746095853797526094560113862739055886427284601272983181937428932509570592206211730161203350032499720995912956738007746676584314674613612802141692037153368619875301022459260641844105433530951236235439631318239400160748751808276533577217818212565122152007275393561179083", "11167665706709732480250797731547760219947095205242253741616712347599343341417661099067156036259137493187239264584869903304798424619986950855499786180166673038149356438585524297536700671492955369256221947041127239116156218750596234772965253643539522976516114018024041433577050253007103921374483458412441876096094502961997421668873175471230837375664947917289349832784096932256158413562/8028560491433510850650834756391964568031509016562352840784146774991484471584279229433397617213500559215361803202224529683629514557943607521935666563950069263838221640714092936291852662700067505599412740456950552495256930520264546131693501933349468431417636408764631607266537880117381807430911349792370026171016002473732410069802732728780740701070812702909613607076584123681690540044411", "19405620469221251651792588056432938216243076003966500023186932379350853380711429536686456800890377373416570606814089266817763828292192248296071168318193946788209306238862799772519796433366152349799791762803707426603336401561081052330959547057072869131446903310687564522425861861373871455580196597007085808111965422647135041638229750963453025891270265924978162015776767351663613342269/15165058706041076051229354539851488628503961475728888699258943908317248446325860766707528832514389945184572294937535222735744638609449036430322925731905686387249974210237731101884610585100127510576668509752017710268818646538277476026532170318548995926011090994333193035947904884666165636258388105163365604989696893561494552354071828487696954657578201772162603480033547789176526575639443", "150606153330234437559908627301825955570453696333760740908274520888281565578595439091313113381563419431455700760142823450234201896950249979306199682551093464061276972788231412761718108109524037744688302363672467282001669519033918350712298047127337207707542401038398847066643831724761626912905519146124390689329766971367108433695141104503937380364549881508026575692964909315059086752885/136485528354369684461064190858663397656535653281559998293330495174855236016932746900367759492629509506661150654437817004621701747485041327872906331587151177485249767892139579916961495265901147595190016587768159392419367818844497284238789532866940963334099818948998737323531143961995490726325492946470290444907272042053450971186646456389272591918203815949463431320301930102588739180754987", "38663714414285492045554131491553112533159853852557554827222093490180890361564409409893334995853388885054971144349074206044838315176983688754383297391877640250432165643766882713413897908931300068223987328973156493055746961682776385194028167980924964108465537072510447277601858037889924077582533487908073075598876017538123420953776868750307416720237284729776937420150513745966715897489884/39444317694412838809247551158153721922738803798370839506772513105533163208893563854206282493369928247425072539132529114335671805023176943755269929828686690293237182920828338596001872131845431655009914793864998064409197299646059715145010174998545938403554847676260635086500500605016696819908067461529913938578201620153447330672940825896499779064360902809394931651567257799648145623238191243", "556595543435579108339502226726963356454464101371222375491886209111214707654264556916397272114740888551723407820695274415568486171244356192169645237922663674288113462957013007955218982556423442132873199572592603778618615257105236464730947256212793911434681187422563695267170375938494595720428728123405209822445628731469350464137911092497815104779482456503192285217563545652070964603752780/670553400805018259757208369688613272686559664572304271615132722794063774551190585521506802387288780206226233165252994943706420685394008043839588807087673734985032109654081756132031826241372338135168551495704967094956354093983015157465172974975280952860432410496430796470508510285283845938437146846008536955829427542608604621439994040240496244094135347759713838076643382594018475595049251131", "8253479467209978135658522011513053843984925751506787994125712569501692959221343278232553265189974398247926428240611395251661993130951662054992646843236252819211044150120027373890659757889254311723861016155313371879179353969828876955181994571075455571099577298744429342168104184562166050264647528101059192502025663485952134877109323616179201129163013845569271516297299387045060891162266628/11399407813685310415872542284706425635671514297729172617457256287499084167370239953865615640583909263505845963809300914043009151651698136745273009720490453494745545864119389854244541046103329748297865375426984440614258019597711257676907940574579776198627350978439323539998644674849825380953431496382145128249100268224346278564479898684088436149600300911915135247302937504098314085115837269227", "118569264420620668730594799879785658054456412406837912471463924719634638100968617778611137655669648002510727169910604781001241619121348318349057359622307975314429078169234543624322227103421301590508354784587995354720629656729514420985969442284322161348725832807585243480059733986730676319426553543295274759670670437436525557313197390155350373170163763421657150014737472295423751628866741901/193789932832650277069833218840009235806415743061395934496773356887484430845294079215715465889926457479599381384758115538731155578078868324669641165248337709410674279690029627522157197783756605721063711382258735490442386333161091380507434989767856195376664966633468500179976959472447031476208335438496467180234704559813886735596158277629503414543205115502557299204149937569671339446969233576859", "1623623730392628042940663948235922452807020116983517272661695138972746448268448916353890017483925304955530665838355349503308097079338632588249340688925788557216761382480942342635538214758879435085638838100997127845387283027155347390991189358253149430835090159967188776755762650307701122298363797708238681918367326163279678754673725207270675273518771881359381917423824005892472032460752950253/3294428858155054710187164720280157008709067632043730886445147067087235324369999346667162920128749777153189483540887964158429644827340761519383899809221741059981462754730503667876672362323862297258083093498398503337520567663738553468626394826053555321403304432768964503059608311031599535095541702454439942063989977516836074505134690719701558047234486963543474086470548938684412770598476970806603", "27233574720133316284243858633566875521019459676076971128459445481061532358764889092626712510528497003511484089382265666248307054643420889065298306398897410300774858046242429916123985988437320555817603136532749996786400070008846048419712005167366306606213800386738403742857881865479799667877215927874490251737361155338986780333396361120363241041488422490535124846456606176782111320416415784057/56005290588635930073181800244762669148054149744743425069567500140483000514289988893341769642188746211604221220195095390693303962064792945829526296756769598019684866830418562353903430159505659053387412589472774556737849650283555408966648712042910440463856175357072396552013341287537192096624208941725479015087829617786213266587289742234926486802986278380239059469999331957635017100174108503712251", "479582679709054395058443989359466603939573117121019949285274055856636575620677605126369640629260999187969077302445568755571094090417008601279740156049124288423190556175150293086511792382580002932761497077266392786029384011862833653759429494373567589629019144633692949785147289728599851744567100255024641863015581178881001556487052449578485627284495137650295709125466327687229352125104423020223/952089940006810811244090604160965375516920545660638226182647502388211008742929811186810083917208685597271760743316621641786167355101480079101947044865083166334642736117115560016358312711596203907586014021037167464543444054820441952433028104729477487885554981070230741384226801888132265642611552009333143256493103502365625531983925617993750275650766732464064010989988643279795290702959844563108267", "7473931972285976181150815724155391099113140983464111954953583824467027122840049188581601107649040989833017986740866195269758260489329285095500762372122055291505980194780374534918512597232896387668409017435930127327273883532797480175395088976105030019668569752479460902334682553905575305279277299609584699026428543266726756947521480394601274651802857339338801549408604799909320030371879128519880/16185528980115783791149540270736411383787649276230849845105007540599587148629806790175771426592547655153619932636382567910364845036725161344733099762706413827688926513990964520278091316097135466428962238357631846897238548931947513191361477780401117294054434678193922603531855632098248515924396384158663435360382759540215634043726735505893754686063034451889088186829806935756519941950317357572840539", "112088052046247523550783869935574879658718580087166516856417029327189965364893333560484971142036105923095246139029710253089807978961540006378539651264674197886403799172168190986905561494631901640879112019748383415595979154851793164300295732506025934177381017338891388773638202383959075906628421105163561765781917300807672094865384265506607026018016633622816217745999594264200156939064054685233737/275153992661968324449542184602518993524390037695924447366785128190192981526706715432988114252073310137611538854818503654476202365624327742860462695966009035070711750737846396844727552373651302929292358052079741397253055331843107724253145122266818993998925389529296684260041545745670224770714738530697278401126506912183665778743354503600193829663071585682114499176106717907860839013155395078738289163", "1827976473311298680336969613076699193257117619788936430066754179017507813634139166924031639636302389106180010247757737022557645958346082697357668105196201843493683490464031850173938285474830123061654084967718722192382443268140516004805914742800327503730135251943732404238571016533551572932306316013025450200213958908991437133351753850740379177030405154744603375864099715398119088994305165735182170/4677617875253461515642217138242822889914630640830715605235347179233280685954014162360797942285246272339396160531914562126095440215613571628627865831422153596202099762543388746360368390352072149797970086885355603753301940641332831312303467078535922897981731621998043632420706277676393821102150555021853732819150617507122318238637026561203295104272216956595946485993814204433634263223641716338550915771", "8618833078617333121374144153200179438962674803001618801642461319931073413105175743853830012745025870289396991369213849602571446702209133129715165267643973204083027230221356209859266914504306539715610207534092599538215027014468695695543337515747238922108192515571029136265390698592363634954142179367407530223565961029366123601469527732540080049236006853692602560222342800533226786893034128327832576/26506501293102948588639230450042663042849573631374055096333634015655257220406080253377855006283062209923244909680849185381207494555143572562224573044725537045145231987745869562708754211995075515521830492350348421268710996967552710769719646778370229755229812524655580583717335573499564986245519811790504485975186832540359803352276483846818672257542562754043696753964947158457260824933969725918455189369", "120430479214950480438552421146983549813792280719915002983233754089115627755319591887333102799755576829737873062454026796054234066482020984891902269864737600801060646904348190295085277729903698995212382324114779520340621895387639056047283808839513295615731362008963827568975302526152643912171068995533554049386134553401617719429533586677545612690433988007259827778869265627678638817301386671105877280/450610521982750126006866917650725271728442751733358936637671778266139372746903364307423535106812057568695163464574436151480527407437440733557817741760334129767468943791679782566048821603916283763871118369955923161568086948448396083085233995232293905838906812919144869923194704749492604766173836800438576261578176153186116656988700225395917428378223566818742844817404101693773434023877485340613738219273", "534892624211818948230473866529950063524263054757375892191478221854866262281907576854446046030090785790161501176332269704053696301839352837730196004849140612502630400862215107969092914997520909428433898898255533273575057723009528455616019536746056310183982399716908960120781122092003124847082504802685511080554663898895182238995579213089157689207935507818671782634244315121699565063979311440907325453/2553459624568917380705579200020776539794508926489033974280140076841456445565785731075400032271934992889272592965921804858389655308812164156827633869975226735348990681486185434540943322422192274661936337429750231248885826041207577804149659306316332133087138606541820929564769993580458093674985075202485265482276331534721327722935967943910198760809933545306209453965289909598049459468639083596811183242547", "7791499605843575665306619973228566059190712994041638494199636933798957815307864285290690509753844213835154653333284144905918510832211263949454003557847056305151784189662056232459318205340331747548685508993148370535782713376928342972335975624957208077900834271628115336134518064443289252365505813662238152382896680551727949535026734074251789925123434178936814723332416969708633913941299813839572310675/43408813617671595471994846400353201176506651750313577562762381306304759574618357428281800548622894879117634080420670682592624140249806790666069775789578854500932841585265152387196036481177268669252917736305753931231059042700528822670544208207377646262481356311210955802601089890867787592474746278442249513198697636090262571289911455046473378933768870270205560717409928463166840810966864421145790115123299", "320991229145498436541281892762278011526626283972237978994410234569628963061186888803733147870404760432917563666092551254014901576233285933959897377754293174079876751018846530423771413542252119693121124046497590235274631139023897833670268925881244615474862134045628236485942895894116457529414496561973963133295825422137860721272361261946307590429060818651785963414044581927639888924633168011244951901100/2213849494501251369071737166418013260001839239265992455700881446621542738305536228842371827979767638834999338101454204812223831152740146323969558565268521579547574920848522771746997860540040702131898804551593450492784011177726969956197754618576259959386549171871758745932655584434257167216212060200554725173133579440603391135785484207370142325622212383780483596587906351621508881359310085478435295871288249", "3684086345789642597067356574274262706141065034684449680404874505443857071308015108051978219447158098878700060640347940068538339990915782530860050646285701293463579186232108124797815383892139097862837228421473210353929144102921206937739511635578637648255834396918716684166407656967633117687223433768108071808699526708596013590350915971024725983272023676397758999372240721051371695894372294249071209631745/37635441406521273274219531829106225420031267067521871746914984592566226551194115890320321075656049860194988747724721481807805129596582487507482495609564866852308773654424887119698963629180691936242279677377088658377328190021358489255361828515796419309571335921819898680855144935382371842675605023409430327943270850490257649308353231525292419535577610524268221141994407977565650983108271453133400029811900233", "227953155188117370228493710766298321604477543302903742651850806224101400111461362513965417776307192277307526452141375803773544185564045262023704981028270277413595962512276923905644987450216527997354199342852963403795865405123746695856077117375585878716708604156871109487979280583195547831344126770205108974926500266552948608780973875572772931422622110297350142082998378949072133116203237121356053548998488/1919407511732584936985196123284417496421594620443615459092664214220877554110899910406336374858458542869944426133960795572198061609425706862881607276087808209467747456375669243104647145088215288748356263546231521577243737691089282952023453254305617384788138132012814832723612391704500963976455856193880946725106813375003140114726014807789913396314458136737679278241714806855848200138521844109803401520406911883", "4952125272892840897186753821599225667239724298513645012817441057095460448079244446531697658591227971906123583921641596138871318150492152638353317615506567107802209100362073457380626621218268011093391998637618345548484575977151867480514305145333879887932220435133818763181334306537981507932524379255740877338076725085861314720435964587883397729394794791920190328931358173230790130687238219835764880456694422/32629927699453943928748334095835097439167108547541462804575291641754918419885298476907718372593795228789055244277333524727367047360237016668987323693492739560951706758386377132779001466499659908722056480285935866813143540748517810184398705323195495541398348244217852156301410658976516387599749555295976094326815827375053381950342251732428527737345788324540547730109151716549419402354871349866657825846917502011", "73949482910556466728399395404229445738329680923525513344892856549843816145909929318908368196921660993449644583235094421672388417669088823982810266397036895306781626043881484914446737877490808278198347796862893617301886459134324752949484454162338362638939308375456941850853577112480565223002734008599012978487826730676237696628434028592090548016479166374102925068200934889161023461614117617614395133014090770/554708770890717046788721679629196656465840845308204867677779957909833613138050074107431212334094518889413939152714669920365239805124029283372784502789376572536179014892568411257243024930494218448274960164860909735823440192724802773134777990494323424203771920151703486657123981202600778589195742440031593603555869065375907493155818279451284971534878401517189311411855579181340129840032812947733183039397597534187", "124664454806342442690602460286211053915382359319623610262160235195866968405511933984155735709883241511535453598037749202081632823138666137600418232992913187210518012185860243473525407388323051751100483881088537419594278488313324101672106647522874456541052376826761667967814574348397878401486096627018451401093445307474054340854366525098369914545457545889771645171277712145256628841559199997851134421126833974/1047783233904687755045363172632927017768810485582164750058028809385241269260761251091814512186622980124448551732905487627356564076345388646370815171935489081457227028130406999041459047090933523735630480311403940612110942586257960793699025093155944245718235849175439919241234186716023692890703069053393010140049974901265603042627656750074649390676992536199135366000171649564753578586728646679051567963306573120131", "17318228588941318917060474848081730818624577460272645731619009465217429885558342813143205774864816047849994430197775958777526803707047492798151781753456664902961426640230061227346030392013729609461435132056021237553497602579592968128348091984062704343736293049828811116685962823510352569270411131261618171946439114142801136558023041858761595691535359257342901170534052294538024560507123405473508051494407032257/160310834787417226521940565412837833718628004294071206758878407835941914196896471417047620364553315959040628415134539606985554303680844462894734721306129829462955735303952270853343234204912829131551463487644802913652974215697468001435950839252859469594890084923842307643908830567551625012277569565169130551427646159893637265522031482761421356773579858038467710998026262383407297523769482941894889898385905687380043", "237840491797111964008427064169334275543852838061879495134129974348828827781741116025348237370080685727685704065026595727900219668787505410776343563399329859604689492478128177248901299520752255995879084160201067801110728952932611440166246445376843240696851183312453502966353442131342343749297822991972629376491614931953765299299734251341745059421479755308636008050868914990853655039950733746954531014656734915707/2725284191386092850872989612018243173216676072999210514900932933211012541347240014089809546197406371303690683057287173318754423162574355869210490262204207100870247500167188604506834981483518095236374879289961649532100561666856956024411164267298610983113131443705319229946450119648377625208718682607875219374269984718191833513874535206944163065150857586653951086966446460517924057904081210012213128272560396685460731", "2727406700859186394295865651383317436222149153783918233945890795757943231064700345310040423310749946384614042617218595092463507963877453039216839206997197397697983814315345306825337981370043835364553922261143966975803437800666889829686535925097826596853083628982763156091743235060716900268970032957322563407881597965598308256240392208844853770071562773551089811022415854331618149697846120479655425735937257895104/46329831253563578464840823404310133944683493240986578753315859864587213202903080239526762285355908312162741611973881946418825193763764049776578334457471520714794207502842206276616194685219807619018372947929348042045709548336568252414989792544076386712923234542990426909089652034022419628548217604333878729362589740209261169735867098518050772107564578973117168478429589828804708984369380570207623180633526743652832427", "1923804306023916064237159184194797005101035008196699517993691469772037458080057326665660023975599965724340999991386798897147727751737325969347368017842197417970522915494007796606564078668731196779758797173083834409741868383781010390774553602089902262559587898825470497003294284879823063541065514572896910485930661306789057764045628387725616140241872376646685731085360860962317517210093085499694495246918930969826/46329831253563578464840823404310133944683493240986578753315859864587213202903080239526762285355908312162741611973881946418825193763764049776578334457471520714794207502842206276616194685219807619018372947929348042045709548336568252414989792544076386712923234542990426909089652034022419628548217604333878729362589740209261169735867098518050772107564578973117168478429589828804708984369380570207623180633526743652832427", "473314935093694666864746435368733743428501281910531304696324879318471582117689063200798826634161936828955686015288150721228461539407398155131651482770479821826890574425042902306613857919679811458253403443293715010442318500086525890814036992563386332652430086799452310866883198380307002437068670290261397530967112227799324417283329719049902715489541862316516640665460064512956857877771793781284089429174984280983278/13389321232279874176338997963845628710013529546645121259708283500865704615638990189223234300467857502215032325860451882515040480997727810385431138658209269486575525968321397613942080264028524401896309781951581584151210059469268224947932050045238075760034814782924233376726909437832479272650434887652490952785788434920476478053665591471716673139086163323230861690266151460524560896482750984790003099203089228915668571403", "6039421512378366322899457523495029108253049119458758727608033646490821131409225500301237177989218565953994447974561390473363580554513026082334689327271908384861521666391978613761603304681670811467414547766419491732267120449998430377055536469810899549880678035849254401627293796500313586164892734447089696233329314832219101527543976882205432423369504205941648951886964958242498611175822270509664378840255023116483644/227618460948757860997762965385375688070230002292967061415040819514716978465862833216794983107953577537655549539627682002755688176961372776552329357189557581271783941461463759437015364488484914832237266293176886930570571010977559824114844850769047287920591851309711967404357460443152147635057393090092346197358403393648100126912315055019183443364464776494924648734524574828917535240206766741430052686452516891566365713851", "6701913842545488286076454291285104127134035509370747062011417434452632625586689898584558068120777642103922106933308519679239934804191540217629868772083123290936609655368229345706976164827401709619220650285137575388477396163438134342052392286396697792830448176049607068951568138301520020753799165547640197562551592146837278848395444473230549714259743797000686543678984027745842858157367611795870066222268888018816958/429945981792098181884663379061265188577101115442271116006188214638909848213296462742834968092801202015571593574852288227427411000927037466821066563580275431291147444982764878936584577367138172460892614109334119757744411909624279667772484718119311543850006830251678160652675203059287389977330631392396653928343650854668633573056595103925124281910655688934857669831879752454622011009279448289367877296632531906292024126163", "587331638714325092583534094213341464830725527588081341791749301174392033792993895471426891142894289140392450230048064169518677703492408193495230095985923902818974599840373811766917748374968103476924631084526934962371977158267413280970059522161518778760201068952370998769982138532671781900037622019199161685220532670743751857541682405902277143311021823600940616150654012735822779147523818328211274126746493176040320/25290940105417540110862551709486187563358889143663006823893424390524108718429203690754998123105953059739505504403075778083965352995708086283592150798839731252420437940162639937446151609831657203581918477019654103396730112330839980457204983418783031991176872367745774156039717827016905292784154787788038466373155932627566680768035006113242604818273864054991627637169397203213059471134085193492228076272501876840707301539", "17617966047256500791731448838473130388540486314949207319976592286713973203303123694875362304988218697550231778536664381786319665941387874228125605174211080797948983112710455415002047792237900794190185485233916730882650110773374555195872420215564590904976599113584300322071416540945059980827813803935123579292940372586417576940375375330948433083955509542416098852934071262953973858839820648136693189652786585752042946503/372763166213749123694003149646116918496346667088449057577365182091934838400928033198037917336458642147500571629396933893179565337803741483733864710624098798929424834800057150038018828577308795523593896432792681829964405125644250471958744250609443108517955921828204965285869401052402167110345657417207898955873945290997705307840067955103082752416538482306521599744239745378157283545045281666881949616180405162755184917383321", "687694526868117107759915873847495740853620330392725523109270184852019588258116190156399851527544905318404538706248400299287468034491297736367533687047459759706941942840082928369340996923277741645998231002534161368899869417872982384251474049189841312410204006048360987484389007701672202747546582688677820721894432406832451374493280377126695092504322999785584940321444673193059460848945306438101845856924356740032357333428/19010921476901205308394160631951962843313680021510901936445624286688676758447329693099933784159390749522529153099243628552157832227990815670427100241829038745400666574802914651938960257442748571703288718072426773328184661407856774069895956781081598534415752013238453229579339453672510522627628528277602846749571209840882970699843465710257220373243462597632601586956227014286021460797309365010979430425200663300514430786549371", "10924274619237539854078515327601212603027565612981759765129008736197721999807233027271417285988431835265109412308512671939754450305230071568951714267870870911060924628896747179434328324579244523886249751419765206130132715701964840253199224068127334807682283218115865233247079726500220568242133674883308352456962168096376124679153267188461172667636960219614929713924582624051519381103438122168953078454449201282675661426133/323185665107320490242700730743183368336332560365685332919575612873707504893604604782698874330709642741882995602687141685386683147875843866397260704111093658671811331771649549082962324376526725718955908207231255146579139243933565159188231265278387175085067784225053704902848770712432678884669684980719248394742710567295010501897338917074372746345138864159754226978255859242862364833554259205186650317228411276108745323371339307", "138815901533915273250056846121916632530374589769317013116255597774382503167707744221899315951038807210482819250239755362169138452563022100495307251299139035148412533090385965591672238636831998005720252199780228751368634221429488059526107525210173311163633291036908095138217182576203074282459832557528552677889329624433866793406052198348976521164233597666051197116442830546229652927060500673518689295983041398449040514585853/5494156306824448334125912422634117261717653526216650659632785418853027583191278281305880863622063926612010925245681408651573613513889345728753431969888592197420792640118042334410359514400954337222250439522931337491845367146870607706199931509732581976446152331825912983348429102111355541039384644672227222710626079644015178532254761590264336687867360690715821858630349607128660202170422406488173055392882991693848670497312768219", "1822574499175351604745640979655915537419190402542089995179784674693137421891011697191424517727793193424953988198742180575760989689874630644496190612896987945849543665410284102272740032518335397208114396344441559763061357426591823421801893514958500287875443390806519963503725445062491834697482907326404654412674156031821768614068928532930848506677983828680770455186330445802707581542712589070404840392787438550130803624449859/93400657216015621680140511184779993449200109945683061213757352120501468914251730782199974681575086752404185729176583947076751429736118877388808343488106067356153474882006719684976111744816223732778257471889832737361371241496800331005398835665453893599584589641040520716923294735893044197669538959427862786080643353948258035048330947034493723693745131742168971596715943321187223436897180910298941941679010858795427398454317059723", "14790249101809249028573628806581496352029661069141051670388542877456377087912136079968997907746076642062743102774841017214435390073860953840538298959084279671511303344976535854773205938921789980932938486873025665130214314570991537062432690052738414050198955792343485492043083038318934781425324190168089718443772867380481954244704957204022375285245666322987036366601873692443875830522690751269569535394836329949012767066828191/1587811172672265568562388690141259888636401869076612040633874986048524971542279423297399569586776474790871157396001927100304774305514020915609741839297803145054609072994114234644593899661875803457230377022127156535143311105445605627091780206312716191192938023897688852187696010510181751360382162310273667363370937017120386595821626099586393302793667239616872517144171036460182798427252075475082013008543184599522265773723390015291", "55725708369063200440697487979698722747872405723003416186299698766501958940521600838712583335320240611138442542889503028392210711624171354774315363161010307636580068377448514827272986923313265003852918356101073932179313774362167967858475134364454362719016430847258929547538524296961940691144188403676316529089218874996109094781801497664957904404414276030419630911919576907648307916180302641695836780366024947569083870787981745/8997596645142838221853535910800472702272943924767468230258624920941641505406250065351930894325066690481603225244010920235060387731246118521788537089354217821976118080299980662986032098083962886257638803125387220365812096264191765220186754502438725083426648802086903495730277392891029924375498919758217448392435309763682190709655881230989562049164114357828944263816969206607702524421095094358798073715078046063959506051099210086649", "1654928537908713693648181194587946588846756610992728610577696341265977707535033617450956066878728611759131961913758358034221427083711733128699650762633418695351868096134609879026694761402523470488860719233332332923130051367265215484471428496156562719005182027118100179461525665822226292831714300526479197595454523118235145376603727801558446369691270202371566600724419000337049039656267413074036356982332946300154209306419502476/458877428902284749314530331450824107815920140163140879743189870968023716775718753332948475610578401214561764487444556931988079774293552044611215391557065108920782022095299013812287637002282107199139578959394748238656416909473780026229524479624374979254759088906432078282244147037442526143150444907669089868014200797947791726192449942780467664507369832249276157454665429536992828745475849812298701759468980349261934808606059714419099", "10621898837040953237167655314304194937292288354815517955954245503768846282026283311810089911269075522609892804306782670842161535725105324781991050696076079756951940980704076340937127922153933370401369116193558552013120328462602469515593169644689352114660858870391768498989097505068214139638905401885875674648619138435416903261257082727069850092255885468314538685940842219147663477294143306306384259700053631738256188198647368283/2600305430446280246115671878221336610956880794257798318544742602152134395062406268886708028459944273549183332095519155947932452054330128252796887218823368950551098125206694411602963276346265274128457614103236906685719695820351420148633972051204791549110301503803115110266050166545507648144519187810124842585413804521704153115090549675755983432208429049412564892243104100709626029557696482269692643303657555312484297248767671715041561", "16169274066069859675761702341468501997245823584032043257740302847053889517174744675741807206238527554633261454099851122971743348319142938214639222573831148866709876145202831025615643411599070459167593169360114100742744394134559286746677697126648123821537058851992982879292768205412141733091755066854617881349097307476544946071826910173400378350890529176061546811287217184552602524663219140670475760334758011121856155936653516759/7800916291338840738347015634664009832870642382773394955634227806456403185187218806660124085379832820647549996286557467843797356162990384758390661656470106851653294375620083234808889829038795822385372842309710720057159087461054260445901916153614374647330904511409345330798150499636522944433557563430374527756241413565112459345271649027267950296625287148237694676729312302128878088673089446809077929910972665937452891746303015145124683", "392946080326048319884436293802409809708995748196661114935936400226753386411801625090360217599232227338766668590953575969347267102064094624166177207171155712622359870730592007246626230457539250048511238132117667829412864347160309003979111606101564436028472869742201895497576331999185746140557773761949038615664420788063245046266052747262398979088468656898662775020316082622154032684217181087715036442744527676992304132787239469206/132615576952760292551899265789288167158800920507147714245781872709758854148182719713222109451457157951008349936871476953344555054770836540892641248159991816478106004385541414991751127093659528980551338319265082240971704486837922427580332574611444369004625376693958870623568558493820890055370478578316366971856104030606911808869618033463555155042629881520040809504398309136190927507442520595754324808486535320936699159687151257467119611", "573035331102162353278946501700125035782857107053309076717441810673101033762734170413918655788274016967135669417445906684537071099316199859395743602007355914064615754447787303969815080633855026205512776098682337908643904990225416638498578799336986585619410079635807120287390955528392833899236293700248118214318876375589939341502352510319253387995754678897024699558799978750186930011154193866450536580748741577721317449964363473186478/38325901739347724547498887813104280308893466026565689417030961213120308848824805997121189631471118647841413131755856839516576410828771760317973320718237634962172635267421468932616075730067603875379336774267608767640822596696159581570716114062707422642336733864554113610211313404714237226002068309133430054866414064845397512763319611670967439807320035759291793946771111340359178049650888452172999869652608707750706057149586713407997567579", "2044383459720047755758390591012234005598834341702561324510158363207350655843658083754562782900618174139872675352150590797046579121330537645861681123814180380382998493635667574821997217262848768024218042098782136926233054453446552734021772764793828616640454231019486081015482480497973516953825888105065579724700381779860337455608988690176759194788911054529408290815487407654015751080649796919011001838777111423702667032794812512605563/217180109856303772435827030940924255083729640817205573363175446874348416810007233983686741245003005671101341079949855423927266328029706641801848817403346598118978266515388323951491095803716421960482908387516449683297994714611570962234057979688675394973241491899139977124530775960047344280678387085089436977576346367457252572325477799468815492241480202635986832365036297595368675614688367895646999261364782677254000990514324709311986216281", "28451905778508699730368200658701393369722267062960577125954313549857898397144254598426597224792060851310065043136709555308511430954061491890545373448111042113866936475785191288770794862127306647767941541912382700990732948874847881123692226082902942325502915933170702830249572121875452893221388603811594064851165210576108966804940013590095839987279124407804262470970344270053057384273662432715368951876085477225016599335057662876755910/3692061867557164131409059525995712336423403893892494747173982596863923085770122977722674601165051096408722798359147542206763527576505012910631429895856892168022630530761601507175348628663179173328209442587779644616065910148396706357978985654707481714545105362285379611117023191320804852771532580446520428618797888246773293729533122590969863368105163444811776150205617059121267485449702254225998987443201305513318016838743520058303765676777", "250166903341522732800720515979978220743965619056616235788178136919957832963684171037822986902464838240753885696591581982807013426855385494506715459379056314357323874380057659833756551880804871675489402878379893162105432558003666408691627140307072963801979437237656765722237626906369141633287945737140555026341116884674717777278901220866631312217668163523679822096438659296919112667512160394634386873330244008949643407843872150857816826/62765051748471790233954011941927109719197866196172410701957704146686692458092090621285468219805868638948287572105508217514979968800585219480734308229567166856384719022947225621980926687274045946579560523992253958473120472522744008085642756130027189147266791158851453388989394252453682497116053867590847286519564100195145993402063084046487677257787778561800194553495490005061547252644938321841982786534422193726406286258639840991164016505209", "10206019602891946876726785338259709870006833402431828900606734285377924202083486905869511195632585845596027468876189226164677615980598686001351320632824388102513662862423746372815187804352927423730950111319257172743665927755753233566566671472735379313169373306514131022337645890226835286518655849223079136393512657563167539846708224867159539130175348184495545244783999994209377083386818799593864716787416683321324426932840675836217186831/3201017639172061301931654609038282595679091176004792945799842911481021315362696621685558879210099300586362666177380919093263978408829846193517449719707925509675620670170308506721027261050976343275557586723604951882129144098659944412367780562631386646510606349101424122838459106875137807352918747247133211612497769109952445663505217286370871540147176706651809922228269990258138909884891854413941122113255531880046720599190631890549364841765659", "7944579816054109735486745090584347971226897948922130648271871619078041385772977022104288611838741454178574940347196254017606228659150196038234231581116020834916095930477436786946141853513956832142721023180528863439230668612732885602186821612285317836220033796424930565428857898884534396669908412946074678212749102934066174078072035277756928386625166246002493838965253802474112934450777822533312268942469632958815647560851573450754261874/54417299865925042132838128353650804126544549992081480078597329495177362361165842568654500946571688109968165325015475624585487632950107385289796645235034733664485551392895244614257463437866597835684478974301284181996195449677219055010252269564733572990680307934724210088253804816877342724999618703201264597412462074869191576279588693868304816182502004013080768677880589834388361468043161525036999075925344041960794250186240742139339202310016203", "769175390037154715698710204041291334858979643207871958809674654370773038094676708615833665994670158151955929347398100929696064331635131838282632013075964076391039876084067660047841388298368784332537049627859461677401209024276968967890875990137262157723396973425211720270952230824124183982779777343749967577963299425706571772561191573925897206839836513187479165663603065516259106506263248636765766576420980842723037814768156330356213858475/925094097720725716258248182012063670151257349865385161336154601418015160139819323667126516091718697869458810525263085617953289760151825549926542968995590472296254373679219158442376878443732163206636142563121831093935322644512723935174288582600470740841565234890311571500314681886914826324993517954421498156011855272776256796753007795761181875102534068222373067523970027184602144956733745925628984290730848713333502253166092616368766439270275451", "682673106902354902351230434930396302714365731580513596201796847726905192821093805486359918744478425657013948639700403317999395947466604347171898574807781955218869876151498059284450164582360534976890479975139504062233281644004517100803361658471255727222363000112425696440981048157861788390676093209544138646717044067719300646988736068118098094891220094017954156770738527290552219675242526888139607251909755828031749497188323270990483478155/5242199887084112392130073031401694130857124982570515914238209408035419240792309500780383591186405954593599926309824151835068641974193678116250410157641679343012108117515575231173468977847815591504271474524357042865633494985572102299320968634736000864768869664378432238501783197359184015841629935075055156217400513212398788514933710842646697292247693053260114049302496820712745488088157893578564244314141476042223179434607858159423009822531560889", "215347937044477360382972671381640741680424018980133815169648933802969088859401320883136203060705454185207205891410935140683288520549541337164589578574740982060697798228112288314493932892266349687910315056091970155449501042419395934297723965050768857994978063603071303714695075424165105003185135059548491780171254545457965931582654748207461261500109981574068652511335525998176828760666702329910291113594172679863950003434886847350072168706269/267352194241289731998633724601486400673713374111096311626148679809806381280407784539799563150506703684273596241801031743588500740683877583928770918039725646493617513993294336789846917870238595166717845200742209186147308244264177217265369400371536044103212352883300044163590943065318384807923126688827812967087426173832338214261619252974981561904632345716265816514427337856350019892496052572506776460021215278153382151165000766130573500949109605339", "29919838342476930803278487379210706606422335992685727063335130568978024925241982995179374230885590078655272167458732282175213577428056545903049692979698482010259797331211096744917957481564489004225803121174605774852239681578499217865601674202403472442716565660018222323102450751326320052610062001408748808080954954331139964535450614046349004691171110611217637477951469303953099684829991869088935238033567062327604820010934125926387996737072/267352194241289731998633724601486400673713374111096311626148679809806381280407784539799563150506703684273596241801031743588500740683877583928770918039725646493617513993294336789846917870238595166717845200742209186147308244264177217265369400371536044103212352883300044163590943065318384807923126688827812967087426173832338214261619252974981561904632345716265816514427337856350019892496052572506776460021215278153382151165000766130573500949109605339", "0", "1352554122679408836693073127155043775933095936934747369035266531898961451023461179184681647468124539320353361883160952875308210375928861504449429335197658629876250668045951428889246978947939792729746962696353416569486949257373281929471327322316847928831790515487644681884554214671859356689843960681879972097033556131575346776236769843694173877774517422377235750935625757487612676505664717331381358146893116569683309974896701585670897743689918582/437833776769152151103095829655700895503317935669272059673089487968526250410214481814678417919479811733612059445322822985416768046326630189947350506776390700407714282083018358882839302498827406018028257823748824577180575134689967556141586621341785528226360763238551038991907434426636408187108773807403681702433508264012759215555778463288694804545819571501337985511793836962749215910611035429575264249361410220522522169557882921333169203387658497010169", "5521221159657356820301236059766347668005755107381575092740014267708917238236646332060874374920326086328703178771765270251555825350824179410136125055736043458814375725992719021138849612883773831675759822411975833110477648933372214079904620787111392466505463739328310258184786348737597038806299106952007291031130692891471986938676545891820607016334367757112892953219298317039417401632998493219278071200978830215263206002144004482332834195043518264/2481058068358528856250876368048971741185468302125875004814173765154982085657882063616511034877052266490468336856829330250695018929184237743034986205066213968977047598470437367002756047493355300768826794334576672604023259096576482818135657520936784659949377658351789220954142128417606313060283051575287529647123213496072302221482744625302603892426310905174248584566831742788912223493462534100926497413047991249627625627494669887554625485863398149724291", "176528488750254827046246072319622919655547857105154967203184004924855418963351062418987003153755664020562166306196793526268759016416676798064933127138259257113761016054597961452725983599505799206704668076861791033565567835264569476286740089706566195840385490929804346703904908124873979647265010529870911612173618618942068627054413957630713468882683164966121137226307168082590535846762971606284981107676532026423652348666075843318082522558980584437/126533961486284971668794694770497558800458883408419625245522862022904086368551985244442062778729665591013885179698295842785445965388396124894784296458376912417829427521992305717140558422161120339210166511063410302805186213925400623724918533567776017657418260575941250268661248549297921966074435630339664012003283888299687413295619975890432798513741856163886677812908418882234523398166589239147251368065447553731008907002228164265285899779033305635938841", "25643290292343863386783343616660713784266446110703331643124721201522159087360845986714273375824219138369158985756156258200823170671109167018634750983872158683552341358127707525560413598124823614112691155817167867663097251746897073069969418906230864488566537892598085298231653354642606683152201421932424591667965138109742370469040777149803252931620148008264319768835127695268569816971243125203304924329326409251804802522079050210945667713718678672/42177987162094990556264898256832519600152961136139875081840954007634695456183995081480687592909888530337961726566098614261815321796132041631594765486125637472609809173997435239046852807387040113070055503687803434268395404641800207908306177855925339219139420191980416756220416183099307322024811876779888004001094629433229137765206658630144266171247285387962225937636139627411507799388863079715750456021815851243669635667409388088428633259677768545312947", "0", "0", "0", "0", "0", "0", "0", "879287387919501082072191577143176118526350952180540734406324228286612372035666647563032341015840945930303842673838864484427896090179544843205437874739885755533872447043930762513962882749154710877544559638300827423381097867565836864482500867688441264963369699189099722123302164157999018761109343551278058604286908481153854185707360042119218528965915967299180562336469254052410928338954394750547332630339255501907974984020404862239720876198749782161641406301/1667265977490190753289574361365841806918757059173798769840787607084680153283384894543562410719546024628585014300244462125067666068060672921770674140873448421209082423532248477974281284239650680735712219193421453902744310598674714526393045240013530128990711993450253897376418690277106931796842066271077380223991217256012586032400708605771195812669522710678059059997868183419774494236826248991524826981462176034987072869198576894189639225265724582089374369017035553", "7772688913616009294409207666123406169531374147777429880835795220127183781367760490985646234523746511517940150292081173264988438238211574172282343135099635658116934435799985162267796210413595573821558124229149048103815638437456028891425809275988744595002975985086736586107818219868083663509977467939571911906436529941925747846411919433316327748664546817413976236179445894300715649860832872232276978824949075487646002368367876485642508964903281575209643233456/15005393797411716779606169252292576262268813532564188928567088463762121379550464050892061696475914221657265128702200159125608994612546056295936067267861035790881741811790236301768531558156856126621409972740793085124698795388072430737537407160121771160916407941052285076387768212493962386171578596439696422015920955304113274291606377451940762314025704396102531539980813650777970448131436240923723442833159584314883655822787192047706753027391521238804369321153319977", "0", "0", "0", "3390512158754263771695453978939632148296939839400363631259217176223247232036492114634982501161522973980326356493076183342704620144330203730779200012719479530596065129500909565282050481023407688755082020610177535149195233346894428149185292570158382372036971605482081693121414921367895122790047104389562315162210870080990754215433038282087705554428840183843138362350977385825991928683324615584598752042648330139936013497731659146382343681745545287155372688643306385/63916540263034823854623829968157141362048632327717974798645441574675683126813149707722350132519606417058858481531159434006829430790757417562536689988230100084801931850989148634160485737709757808128885898997472742397698372569967071869122950954447052905675864689876022995114122232661119855227257213615234128022778439505697083887572068809340764870716783700210856374287614383257970359717670000187705589112284403719733288716725462417842301699639129514695166233674368327749867", "1063941428758347736248937183966165579853966172306170866361085302193797573314406717430926779072825636478913394766804407841476128312033574887518116290761343091280425661817840262433780818023255433957253204574393857110695946696990940392761696908165440683313227868936145632145528563084343633459976483721729654882809174965346021393160150649260219752405804691910175557258900522174803557670978886430412258141770901493507097445612350429945825543941061331362342021869094896/63916540263034823854623829968157141362048632327717974798645441574675683126813149707722350132519606417058858481531159434006829430790757417562536689988230100084801931850989148634160485737709757808128885898997472742397698372569967071869122950954447052905675864689876022995114122232661119855227257213615234128022778439505697083887572068809340764870716783700210856374287614383257970359717670000187705589112284403719733288716725462417842301699639129514695166233674368327749867", "0" ], "nonzero_atom_count": 146, "moment_order": "33/32", "moment_lower": "3648813193498595240349532684611358699308751268594466566884548744281025177363423378912794739577026521156333323332219139011699076797071906969741277507905106888198134195141570091196023290935095293097347772293434181849215151582839101735753299922970568346963824070143335803194690634021677133558534298100263264232095779517828877727931823999086771971120063554375866795425592746220203644882018820480485016745250437134826498656212412226507798521178932828501781481728202944583089051617344102889282051677597/3567882343337668544335199829718347399559447820269850771658517088022170022588177267604079933692086844698168108549863627847107834274968995677623362918728588206146653999967202651029816462281724596595112382276254588145645530187844732632043145068098400890741529717883123955814181299138669892759638690218412103180510731857688214370557690442594569543368124010236886698275403628602446250536922731070136294654406869047479650456318069882838822937707662271820652374380359018705443368750298331317976698978304", "moment_upper": "3648813193498595240349532684656391705630149957341218331505715304922904246621366909920590964428287908191506977093551220764315048780715406509623045552327753437708485535081498157067425441497189395795194618464124348975917710820447938652215365096068483658372558845526075730155632671177292904184531729857219375734587820259834075855427280314006667665695706087166015846324468977553107784220783023898483159832000488153950013981258238017219210049708905824171843198399334664581011086531072466957857760386461/3567882343337668544335199829718347399559447820269850771658517088022170022588177267604079933692086844698168108549863627847107834274968995677623362918728588206146653999967202651029816462281724596595112382276254588145645530187844732632043145068098400890741529717883123955814181299138669892759638690218412103180510731857688214370557690442594569543368124010236886698275403628602446250536922731070136294654406869047479650456318069882838822937707662271820652374380359018705443368750298331317976698978304", "certified_moment_bound": "10227/10000", "S09_ceiling": "8423/8192", "profile_examples": [ { "residual": "1/4", "profile": "33558885948315051681241738197470304388087013504994628230106893163387468167573036420653419505975547895885616058864049315487609821763158886036453163029141937978019735580125443101369210993353206982690880681558551847078180133133214005907800485699743214309974438738959615321397130283491550982984891777710479036551302102627343846118832289006237436954936617340595544142682545436166/1150923116140143160498237105545591829306197491186871794326219430683826219866448368016498757330214996965999265914301238055853082601176356975044033295530705260346253722429866944149650036935690451510842998713284897959693396759015053908279019521795535498095257869325997341149026612222393328402272832094072524700191335462137438455380881803338600445621602957755367515949811553042171", "threshold": "80209810833685322547441216640793046418531912652780577247188195636352386970411639577599796091104012101130717894701055491951622698591353123624261645540716464351344232869435068758174405683700539108020074191942626567981338004282490220912228333614228282202627549912059318605175057042490646040306263891324441973189409859729207141378843824365061425627861617456672310716754353/18054884314459144840090618635016088304830303169883605483371350527994223071059504654605336746116824352199929672794858153877003228718895371150941602324392147518393683512295152293914534107173413321605347608540276616049559533275830623099832315429297026849555280062829752723664617957262833883070847540241522097710418323304634240616080360032508486023552445858223238808600576", "S09_moment_mass": "2293498615990071511610820895302086940796564989168281123737588839386922876088484808070018553110125686554624/412038333634714869164049768520318444786650006452407345412769258335244437576622467841183246442212407801167082997255322431717121" }, { "residual": "1/100", "profile": "15346394443306745229032977632780640915870945251610199535965190832101466273179203107483974694792761277961502664526056183280618267920002516353734040690925256876044793179704908933476400245450069137393284770548453533450198039042214298900676946017927987923783457649028460742081653124510242405179388216264418058036798425441917511177771263075723311654120211631074997194097713488385098494079780337163052047387993281113503433163871198/137353907670611208353147810565852931542941338155416266490819635471325689579781957032647021590551598165300273131142035216289340337847233643218835799247214804935519816002951058360258987860023858430556260988073283437296134178671765192654998287743314549411153808295647824583710727552783888525984616116805680567765651991100379463306369039756608417196684017267895546465758740178216505054260560162204326384822074792346216762432819205475", "threshold": "382897199544498290645128052097216691258620153173802761397281717614660655560125818733502200803313027717861083443197548680995257235543400325108625484149321770461038784356051811779835182874971197264171441038884100196052937491815272599243965516657999245269772278252685935127214156598224209066194703517991107107365465512043194546612836893448702168594957141384763442862257704167199648180200931435974395498757012760194812782417/6755134204774931676389634322967501008259813378097557110093055011876126718032524144890858917213955396784520881876464671354464244475824855274701325727893719954570574668269152867183637441786633592929643152644653704915584091851651674417300103649674962767757298216029954550521489103245619171113190659864791993545757784170109231813912946951963968425996586574601518491795649403879259801599271421064843145022272603017818669056", "S09_moment_mass": "2293498615990071511610820895302086940796564989168281123737588839386922876088484808070018553110125686554624/5584160705925811921363185353775808201184412084635819820891653992342597929584019061254811429391751366376295671732731690398484500023092158560444886461482383310794830322265625" }, { "residual": "1/4294967296", "profile": "35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150406795437517399294548941469959754171038918004700847889956485329097264486802711583462946536682184340138629451355458264946342525383619389314960644665052551751442335509249173361130355796109709885580674313954210217657847432626760733004753275317192133674703563372783297041993227052663333668509952000175053355529058880434182538386715523683713208549376/75725710987714395635054649769398561378565402199011086459545142133089761690965280145120457763983926377807075771417970050131072723758184236511054377159173984571900343452418747071169132083793273086109698828137713668418150060746051265213098821131504991940953391065109864529538039235688058856250400997891963490765340765787725185346084211832914730216188962887806336633367924436013523268023159534255187173135126937768532886036848162797578876836672312514801150078710821777", "threshold": "75725710987714395635054649769398561378565402199011086459545142133089761690965280145120457763983926377807075771417970050131072723758184236511054377159173984571900343452418747071169132083793273086109698828137713668418150060746051265213098821131504991940953391065109864529538039235688058856250400997891963490765340765787725185346084211832914730216188962887806336633367924436013523268023159534255187173135126937768532886036848162797578876836672312514801150078710821777/150644526682564536786257287876769632057005827996605559459979689941578586974487700041817814006709128103965547892555500299241401061174684895310600811743173415715950833711351576548173879869855093729802846446086738753599834116119037444341336695131219247812363477583893792351842084705101089275737135247986616898148060569326349496440889500722672403130036224240681312107180767717290414448844691487804585948891281640437052368669123188282865207775077061678562797521207296", "S09_moment_mass": "1/1879900429392388641372296930480558772703364353138376717906987087580585815217221222562047602913692032579051009262447859497571516330980625157140586055247834313512466834024612195652716237767183661860044939371719243235697718619338532803679427183252053186945605118849974799644316826794594257924133949465541723200176202448896" } ], "elapsed_seconds": 1.8415324169909582, "peak_array_storage_upper_bytes": 617003001, "composition": "Independent products preserve convex order and have moment at most bound^N; exact geometric-lattice support grows linearly with N", "scope": "One finite cyclic extraction, full-array SHA-matched to the retained run. All-level use requires S10 and the written binning/mean-repair lemma. No independent second large recurrence, Lean build, canonical profile evaluation or publication." }