=== Test case: unique_SUITE:unique_integer_white_box/1 (click for source code)

=== Config value:

    [{watchdog,<0.87409082.1>},
     {tc_logfile,"/buildroot/otp/erts/emulator/make_test_dir/ct_logs/ct_run.test_server@06be147fe9ce.2025-03-10_23.00.04/make_test_dir.emulator_test.logs/run.2025-03-10_23.00.34/unique_suite.unique_integer_white_box.html"},
     {tc_group_properties,[]},
     {tc_group_path,[]},
     {data_dir,"/buildroot/otp/erts/emulator/make_test_dir/emulator_test/unique_SUITE_data/"},
     {priv_dir,"/buildroot/otp/erts/emulator/make_test_dir/ct_logs/ct_run.test_server@06be147fe9ce.2025-03-10_23.00.04/make_test_dir.emulator_test.logs/run.2025-03-10_23.00.34/log_private/"},
     {nodenames,[]}]

=== Current directory is "/buildroot/otp/erts/emulator/make_test_dir/ct_logs/ct_run.test_server@06be147fe9ce.2025-03-10_23.00.04"

=== Started at 2025-03-10 23:46:04



SmallBits=60

Schedulers=18

MinSmall=-576460752303423488

MaxSmall=576460752303423487

SchedBits=5

MaxInt=589719349606402228210

****************************************************

*** Around MIN_UNIQ_INT -576460752303423488 ***

****************************************************

UniqInt=-576460752303423488 
OK


UniqInt=-576460752303423487 
OK


UniqInt=-576460752303423486 
OK


UniqInt=-576460752303423485 
OK


UniqInt=-576460752303423484 
OK


UniqInt=-576460752303423483 
OK


UniqInt=-576460752303423482 
OK


UniqInt=-576460752303423481 
OK


UniqInt=-576460752303423480 
OK


UniqInt=-576460752303423479 
OK


UniqInt=-576460752303423478 
OK


UniqInt=-576460752303423477 
OK


UniqInt=-576460752303423476 
OK


UniqInt=-576460752303423475 
OK


UniqInt=-576460752303423474 
OK


UniqInt=-576460752303423473 
OK


UniqInt=-576460752303423472 
OK


UniqInt=-576460752303423471 
OK


UniqInt=-576460752303423470 
OK


UniqInt=-576460752303423438 
OK


UniqInt=-576460752303423456 
OK


UniqInt=-576460752303423455 
OK


UniqInt=-576460752303423454 
OK


UniqInt=-576460752303423453 
OK


UniqInt=-576460752303423452 
OK


UniqInt=-576460752303423451 
OK


UniqInt=-576460752303423450 
OK


UniqInt=-576460752303423449 
OK


UniqInt=-576460752303423448 
OK


UniqInt=-576460752303423447 
OK


UniqInt=-576460752303423446 
OK


UniqInt=-576460752303423445 
OK


UniqInt=-576460752303423444 
OK


UniqInt=-576460752303423443 
OK


UniqInt=-576460752303423442 
OK


UniqInt=-576460752303423441 
OK


UniqInt=-576460752303423440 
OK


UniqInt=-576460752303423439 
OK


UniqInt=-576460752303423438 
OK


UniqInt=-576460752303423406 
OK


UniqInt=-576460752303423424 
OK


UniqInt=-576460752303423423 
OK


UniqInt=-576460752303423422 
OK


UniqInt=-576460752303423421 
OK


UniqInt=-576460752303423420 
OK


UniqInt=-576460752303423419 
OK


UniqInt=-576460752303423418 
OK


UniqInt=-576460752303423417 
OK


UniqInt=-576460752303423416 
OK


UniqInt=-576460752303423415 
OK


UniqInt=-576460752303423414 
OK


UniqInt=-576460752303423413 
OK


UniqInt=-576460752303423412 
OK


UniqInt=-576460752303423411 
OK


UniqInt=-576460752303423410 
OK


UniqInt=-576460752303423409 
OK


UniqInt=-576460752303423408 
OK


UniqInt=-576460752303423407 
OK


UniqInt=-576460752303423406 
OK


UniqInt=-576460752303423374 
OK


UniqInt=-576460752303423392 
OK


UniqInt=-576460752303423391 
OK


UniqInt=-576460752303423390 
OK


UniqInt=-576460752303423389 
OK


UniqInt=-576460752303423388 
OK


****************************************************

*** Around 0 ***

****************************************************

UniqInt=-110 
OK


UniqInt=-78 
OK


UniqInt=-96 
OK


UniqInt=-95 
OK


UniqInt=-94 
OK


UniqInt=-93 
OK


UniqInt=-92 
OK


UniqInt=-91 
OK


UniqInt=-90 
OK


UniqInt=-89 
OK


UniqInt=-88 
OK


UniqInt=-87 
OK


UniqInt=-86 
OK


UniqInt=-85 
OK


UniqInt=-84 
OK


UniqInt=-83 
OK


UniqInt=-82 
OK


UniqInt=-81 
OK


UniqInt=-80 
OK


UniqInt=-79 
OK


UniqInt=-78 
OK


UniqInt=-46 
OK


UniqInt=-64 
OK


UniqInt=-63 
OK


UniqInt=-62 
OK


UniqInt=-61 
OK


UniqInt=-60 
OK


UniqInt=-59 
OK


UniqInt=-58 
OK


UniqInt=-57 
OK


UniqInt=-56 
OK


UniqInt=-55 
OK


UniqInt=-54 
OK


UniqInt=-53 
OK


UniqInt=-52 
OK


UniqInt=-51 
OK


UniqInt=-50 
OK


UniqInt=-49 
OK


UniqInt=-48 
OK


UniqInt=-47 
OK


UniqInt=-46 
OK


UniqInt=-14 
OK


UniqInt=-32 
OK


UniqInt=-31 
OK


UniqInt=-30 
OK


UniqInt=-29 
OK


UniqInt=-28 
OK


UniqInt=-27 
OK


UniqInt=-26 
OK


UniqInt=-25 
OK


UniqInt=-24 
OK


UniqInt=-23 
OK


UniqInt=-22 
OK


UniqInt=-21 
OK


UniqInt=-20 
OK


UniqInt=-19 
OK


UniqInt=-18 
OK


UniqInt=-17 
OK


UniqInt=-16 
OK


UniqInt=-15 
OK


UniqInt=-14 
OK


UniqInt=18 
OK


UniqInt=0 
OK


UniqInt=1 
OK


UniqInt=2 
OK


UniqInt=3 
OK


UniqInt=4 
OK


UniqInt=5 
OK


UniqInt=6 
OK


UniqInt=7 
OK


UniqInt=8 
OK


UniqInt=9 
OK


UniqInt=10 
OK


UniqInt=11 
OK


UniqInt=12 
OK


UniqInt=13 
OK


UniqInt=14 
OK


UniqInt=15 
OK


UniqInt=16 
OK


UniqInt=17 
OK


UniqInt=18 
OK


UniqInt=50 
OK


UniqInt=32 
OK


UniqInt=33 
OK


UniqInt=34 
OK


UniqInt=35 
OK


UniqInt=36 
OK


UniqInt=37 
OK


UniqInt=38 
OK


UniqInt=39 
OK


UniqInt=40 
OK


UniqInt=41 
OK


UniqInt=42 
OK


UniqInt=43 
OK


UniqInt=44 
OK


UniqInt=45 
OK


UniqInt=46 
OK


UniqInt=47 
OK


UniqInt=48 
OK


UniqInt=49 
OK


UniqInt=50 
OK


UniqInt=82 
OK


UniqInt=64 
OK


UniqInt=65 
OK


UniqInt=66 
OK


UniqInt=67 
OK


UniqInt=68 
OK


UniqInt=69 
OK


UniqInt=70 
OK


UniqInt=71 
OK


UniqInt=72 
OK


UniqInt=73 
OK


UniqInt=74 
OK


UniqInt=75 
OK


UniqInt=76 
OK


UniqInt=77 
OK


UniqInt=78 
OK


UniqInt=79 
OK


UniqInt=80 
OK


UniqInt=81 
OK


UniqInt=82 
OK


UniqInt=114 
OK


UniqInt=96 
OK


UniqInt=97 
OK


UniqInt=98 
OK


UniqInt=99 
OK


UniqInt=100 
OK


****************************************************

*** Around MAX_SMALL 576460752303423487 ***

****************************************************

UniqInt=576460752303423378 
OK


UniqInt=576460752303423410 
OK


UniqInt=576460752303423392 
OK


UniqInt=576460752303423393 
OK


UniqInt=576460752303423394 
OK


UniqInt=576460752303423395 
OK


UniqInt=576460752303423396 
OK


UniqInt=576460752303423397 
OK


UniqInt=576460752303423398 
OK


UniqInt=576460752303423399 
OK


UniqInt=576460752303423400 
OK


UniqInt=576460752303423401 
OK


UniqInt=576460752303423402 
OK


UniqInt=576460752303423403 
OK


UniqInt=576460752303423404 
OK


UniqInt=576460752303423405 
OK


UniqInt=576460752303423406 
OK


UniqInt=576460752303423407 
OK


UniqInt=576460752303423408 
OK


UniqInt=576460752303423409 
OK


UniqInt=576460752303423410 
OK


UniqInt=576460752303423442 
OK


UniqInt=576460752303423424 
OK


UniqInt=576460752303423425 
OK


UniqInt=576460752303423426 
OK


UniqInt=576460752303423427 
OK


UniqInt=576460752303423428 
OK


UniqInt=576460752303423429 
OK


UniqInt=576460752303423430 
OK


UniqInt=576460752303423431 
OK


UniqInt=576460752303423432 
OK


UniqInt=576460752303423433 
OK


UniqInt=576460752303423434 
OK


UniqInt=576460752303423435 
OK


UniqInt=576460752303423436 
OK


UniqInt=576460752303423437 
OK


UniqInt=576460752303423438 
OK


UniqInt=576460752303423439 
OK


UniqInt=576460752303423440 
OK


UniqInt=576460752303423441 
OK


UniqInt=576460752303423442 
OK


UniqInt=576460752303423474 
OK


UniqInt=576460752303423456 
OK


UniqInt=576460752303423457 
OK


UniqInt=576460752303423458 
OK


UniqInt=576460752303423459 
OK


UniqInt=576460752303423460 
OK


UniqInt=576460752303423461 
OK


UniqInt=576460752303423462 
OK


UniqInt=576460752303423463 
OK


UniqInt=576460752303423464 
OK


UniqInt=576460752303423465 
OK


UniqInt=576460752303423466 
OK


UniqInt=576460752303423467 
OK


UniqInt=576460752303423468 
OK


UniqInt=576460752303423469 
OK


UniqInt=576460752303423470 
OK


UniqInt=576460752303423471 
OK


UniqInt=576460752303423472 
OK


UniqInt=576460752303423473 
OK


UniqInt=576460752303423474 
OK


UniqInt=576460752303423506 
OK


UniqInt=576460752303423488 
OK


UniqInt=576460752303423489 
OK


UniqInt=576460752303423490 
OK


UniqInt=576460752303423491 
OK


UniqInt=576460752303423492 
OK


UniqInt=576460752303423493 
OK


UniqInt=576460752303423494 
OK


UniqInt=576460752303423495 
OK


UniqInt=576460752303423496 
OK


UniqInt=576460752303423497 
OK


UniqInt=576460752303423498 
OK


UniqInt=576460752303423499 
OK


UniqInt=576460752303423500 
OK


UniqInt=576460752303423501 
OK


UniqInt=576460752303423502 
OK


UniqInt=576460752303423503 
OK


UniqInt=576460752303423504 
OK


UniqInt=576460752303423505 
OK


UniqInt=576460752303423506 
OK


UniqInt=576460752303423538 
OK


UniqInt=576460752303423520 
OK


UniqInt=576460752303423521 
OK


UniqInt=576460752303423522 
OK


UniqInt=576460752303423523 
OK


UniqInt=576460752303423524 
OK


UniqInt=576460752303423525 
OK


UniqInt=576460752303423526 
OK


UniqInt=576460752303423527 
OK


UniqInt=576460752303423528 
OK


UniqInt=576460752303423529 
OK


UniqInt=576460752303423530 
OK


UniqInt=576460752303423531 
OK


UniqInt=576460752303423532 
OK


UniqInt=576460752303423533 
OK


UniqInt=576460752303423534 
OK


UniqInt=576460752303423535 
OK


UniqInt=576460752303423536 
OK


UniqInt=576460752303423537 
OK


UniqInt=576460752303423538 
OK


UniqInt=576460752303423570 
OK


UniqInt=576460752303423552 
OK


UniqInt=576460752303423553 
OK


UniqInt=576460752303423554 
OK


UniqInt=576460752303423555 
OK


UniqInt=576460752303423556 
OK


UniqInt=576460752303423557 
OK


UniqInt=576460752303423558 
OK


UniqInt=576460752303423559 
OK


UniqInt=576460752303423560 
OK


UniqInt=576460752303423561 
OK


UniqInt=576460752303423562 
OK


UniqInt=576460752303423563 
OK


UniqInt=576460752303423564 
OK


UniqInt=576460752303423565 
OK


UniqInt=576460752303423566 
OK


UniqInt=576460752303423567 
OK


UniqInt=576460752303423568 
OK


UniqInt=576460752303423569 
OK


UniqInt=576460752303423570 
OK


UniqInt=576460752303423602 
OK


UniqInt=576460752303423584 
OK


UniqInt=576460752303423585 
OK


UniqInt=576460752303423586 
OK


UniqInt=576460752303423587 
OK


****************************************************

*** Around 2^64+MIN_UNIQ_INT 17870283321406128128 ***

****************************************************

UniqInt=17870283321406128018 
OK


UniqInt=17870283321406128050 
OK


UniqInt=17870283321406128032 
OK


UniqInt=17870283321406128033 
OK


UniqInt=17870283321406128034 
OK


UniqInt=17870283321406128035 
OK


UniqInt=17870283321406128036 
OK


UniqInt=17870283321406128037 
OK


UniqInt=17870283321406128038 
OK


UniqInt=17870283321406128039 
OK


UniqInt=17870283321406128040 
OK


UniqInt=17870283321406128041 
OK


UniqInt=17870283321406128042 
OK


UniqInt=17870283321406128043 
OK


UniqInt=17870283321406128044 
OK


UniqInt=17870283321406128045 
OK


UniqInt=17870283321406128046 
OK


UniqInt=17870283321406128047 
OK


UniqInt=17870283321406128048 
OK


UniqInt=17870283321406128049 
OK


UniqInt=17870283321406128050 
OK


UniqInt=17870283321406128082 
OK


UniqInt=17870283321406128064 
OK


UniqInt=17870283321406128065 
OK


UniqInt=17870283321406128066 
OK


UniqInt=17870283321406128067 
OK


UniqInt=17870283321406128068 
OK


UniqInt=17870283321406128069 
OK


UniqInt=17870283321406128070 
OK


UniqInt=17870283321406128071 
OK


UniqInt=17870283321406128072 
OK


UniqInt=17870283321406128073 
OK


UniqInt=17870283321406128074 
OK


UniqInt=17870283321406128075 
OK


UniqInt=17870283321406128076 
OK


UniqInt=17870283321406128077 
OK


UniqInt=17870283321406128078 
OK


UniqInt=17870283321406128079 
OK


UniqInt=17870283321406128080 
OK


UniqInt=17870283321406128081 
OK


UniqInt=17870283321406128082 
OK


UniqInt=17870283321406128114 
OK


UniqInt=17870283321406128096 
OK


UniqInt=17870283321406128097 
OK


UniqInt=17870283321406128098 
OK


UniqInt=17870283321406128099 
OK


UniqInt=17870283321406128100 
OK


UniqInt=17870283321406128101 
OK


UniqInt=17870283321406128102 
OK


UniqInt=17870283321406128103 
OK


UniqInt=17870283321406128104 
OK


UniqInt=17870283321406128105 
OK


UniqInt=17870283321406128106 
OK


UniqInt=17870283321406128107 
OK


UniqInt=17870283321406128108 
OK


UniqInt=17870283321406128109 
OK


UniqInt=17870283321406128110 
OK


UniqInt=17870283321406128111 
OK


UniqInt=17870283321406128112 
OK


UniqInt=17870283321406128113 
OK


UniqInt=17870283321406128114 
OK


UniqInt=17870283321406128146 
OK


UniqInt=17870283321406128128 
OK


UniqInt=17870283321406128129 
OK


UniqInt=17870283321406128130 
OK


UniqInt=17870283321406128131 
OK


UniqInt=17870283321406128132 
OK


UniqInt=17870283321406128133 
OK


UniqInt=17870283321406128134 
OK


UniqInt=17870283321406128135 
OK


UniqInt=17870283321406128136 
OK


UniqInt=17870283321406128137 
OK


UniqInt=17870283321406128138 
OK


UniqInt=17870283321406128139 
OK


UniqInt=17870283321406128140 
OK


UniqInt=17870283321406128141 
OK


UniqInt=17870283321406128142 
OK


UniqInt=17870283321406128143 
OK


UniqInt=17870283321406128144 
OK


UniqInt=17870283321406128145 
OK


UniqInt=17870283321406128146 
OK


UniqInt=17870283321406128178 
OK


UniqInt=17870283321406128160 
OK


UniqInt=17870283321406128161 
OK


UniqInt=17870283321406128162 
OK


UniqInt=17870283321406128163 
OK


UniqInt=17870283321406128164 
OK


UniqInt=17870283321406128165 
OK


UniqInt=17870283321406128166 
OK


UniqInt=17870283321406128167 
OK


UniqInt=17870283321406128168 
OK


UniqInt=17870283321406128169 
OK


UniqInt=17870283321406128170 
OK


UniqInt=17870283321406128171 
OK


UniqInt=17870283321406128172 
OK


UniqInt=17870283321406128173 
OK


UniqInt=17870283321406128174 
OK


UniqInt=17870283321406128175 
OK


UniqInt=17870283321406128176 
OK


UniqInt=17870283321406128177 
OK


UniqInt=17870283321406128178 
OK


UniqInt=17870283321406128210 
OK


UniqInt=17870283321406128192 
OK


UniqInt=17870283321406128193 
OK


UniqInt=17870283321406128194 
OK


UniqInt=17870283321406128195 
OK


UniqInt=17870283321406128196 
OK


UniqInt=17870283321406128197 
OK


UniqInt=17870283321406128198 
OK


UniqInt=17870283321406128199 
OK


UniqInt=17870283321406128200 
OK


UniqInt=17870283321406128201 
OK


UniqInt=17870283321406128202 
OK


UniqInt=17870283321406128203 
OK


UniqInt=17870283321406128204 
OK


UniqInt=17870283321406128205 
OK


UniqInt=17870283321406128206 
OK


UniqInt=17870283321406128207 
OK


UniqInt=17870283321406128208 
OK


UniqInt=17870283321406128209 
OK


UniqInt=17870283321406128210 
OK


UniqInt=17870283321406128242 
OK


UniqInt=17870283321406128224 
OK


UniqInt=17870283321406128225 
OK


UniqInt=17870283321406128226 
OK


UniqInt=17870283321406128227 
OK


UniqInt=17870283321406128228 
OK


****************************************************

*** Around 2^64 18446744073709551616

****************************************************

UniqInt=18446744073709551506 
OK


UniqInt=18446744073709551538 
OK


UniqInt=18446744073709551520 
OK


UniqInt=18446744073709551521 
OK


UniqInt=18446744073709551522 
OK


UniqInt=18446744073709551523 
OK


UniqInt=18446744073709551524 
OK


UniqInt=18446744073709551525 
OK


UniqInt=18446744073709551526 
OK


UniqInt=18446744073709551527 
OK


UniqInt=18446744073709551528 
OK


UniqInt=18446744073709551529 
OK


UniqInt=18446744073709551530 
OK


UniqInt=18446744073709551531 
OK


UniqInt=18446744073709551532 
OK


UniqInt=18446744073709551533 
OK


UniqInt=18446744073709551534 
OK


UniqInt=18446744073709551535 
OK


UniqInt=18446744073709551536 
OK


UniqInt=18446744073709551537 
OK


UniqInt=18446744073709551538 
OK


UniqInt=18446744073709551570 
OK


UniqInt=18446744073709551552 
OK


UniqInt=18446744073709551553 
OK


UniqInt=18446744073709551554 
OK


UniqInt=18446744073709551555 
OK


UniqInt=18446744073709551556 
OK


UniqInt=18446744073709551557 
OK


UniqInt=18446744073709551558 
OK


UniqInt=18446744073709551559 
OK


UniqInt=18446744073709551560 
OK


UniqInt=18446744073709551561 
OK


UniqInt=18446744073709551562 
OK


UniqInt=18446744073709551563 
OK


UniqInt=18446744073709551564 
OK


UniqInt=18446744073709551565 
OK


UniqInt=18446744073709551566 
OK


UniqInt=18446744073709551567 
OK


UniqInt=18446744073709551568 
OK


UniqInt=18446744073709551569 
OK


UniqInt=18446744073709551570 
OK


UniqInt=18446744073709551602 
OK


UniqInt=18446744073709551584 
OK


UniqInt=18446744073709551585 
OK


UniqInt=18446744073709551586 
OK


UniqInt=18446744073709551587 
OK


UniqInt=18446744073709551588 
OK


UniqInt=18446744073709551589 
OK


UniqInt=18446744073709551590 
OK


UniqInt=18446744073709551591 
OK


UniqInt=18446744073709551592 
OK


UniqInt=18446744073709551593 
OK


UniqInt=18446744073709551594 
OK


UniqInt=18446744073709551595 
OK


UniqInt=18446744073709551596 
OK


UniqInt=18446744073709551597 
OK


UniqInt=18446744073709551598 
OK


UniqInt=18446744073709551599 
OK


UniqInt=18446744073709551600 
OK


UniqInt=18446744073709551601 
OK


UniqInt=18446744073709551602 
OK


UniqInt=18446744073709551634 
OK


UniqInt=18446744073709551616 
OK


UniqInt=18446744073709551617 
OK


UniqInt=18446744073709551618 
OK


UniqInt=18446744073709551619 
OK


UniqInt=18446744073709551620 
OK


UniqInt=18446744073709551621 
OK


UniqInt=18446744073709551622 
OK


UniqInt=18446744073709551623 
OK


UniqInt=18446744073709551624 
OK


UniqInt=18446744073709551625 
OK


UniqInt=18446744073709551626 
OK


UniqInt=18446744073709551627 
OK


UniqInt=18446744073709551628 
OK


UniqInt=18446744073709551629 
OK


UniqInt=18446744073709551630 
OK


UniqInt=18446744073709551631 
OK


UniqInt=18446744073709551632 
OK


UniqInt=18446744073709551633 
OK


UniqInt=18446744073709551634 
OK


UniqInt=18446744073709551666 
OK


UniqInt=18446744073709551648 
OK


UniqInt=18446744073709551649 
OK


UniqInt=18446744073709551650 
OK


UniqInt=18446744073709551651 
OK


UniqInt=18446744073709551652 
OK


UniqInt=18446744073709551653 
OK


UniqInt=18446744073709551654 
OK


UniqInt=18446744073709551655 
OK


UniqInt=18446744073709551656 
OK


UniqInt=18446744073709551657 
OK


UniqInt=18446744073709551658 
OK


UniqInt=18446744073709551659 
OK


UniqInt=18446744073709551660 
OK


UniqInt=18446744073709551661 
OK


UniqInt=18446744073709551662 
OK


UniqInt=18446744073709551663 
OK


UniqInt=18446744073709551664 
OK


UniqInt=18446744073709551665 
OK


UniqInt=18446744073709551666 
OK


UniqInt=18446744073709551698 
OK


UniqInt=18446744073709551680 
OK


UniqInt=18446744073709551681 
OK


UniqInt=18446744073709551682 
OK


UniqInt=18446744073709551683 
OK


UniqInt=18446744073709551684 
OK


UniqInt=18446744073709551685 
OK


UniqInt=18446744073709551686 
OK


UniqInt=18446744073709551687 
OK


UniqInt=18446744073709551688 
OK


UniqInt=18446744073709551689 
OK


UniqInt=18446744073709551690 
OK


UniqInt=18446744073709551691 
OK


UniqInt=18446744073709551692 
OK


UniqInt=18446744073709551693 
OK


UniqInt=18446744073709551694 
OK


UniqInt=18446744073709551695 
OK


UniqInt=18446744073709551696 
OK


UniqInt=18446744073709551697 
OK


UniqInt=18446744073709551698 
OK


UniqInt=18446744073709551730 
OK


UniqInt=18446744073709551712 
OK


UniqInt=18446744073709551713 
OK


UniqInt=18446744073709551714 
OK


UniqInt=18446744073709551715 
OK


UniqInt=18446744073709551716 
OK


****************************************************

*** Around 2^64-MIN_UNIQ_INT 19023204826012975104 ***

****************************************************

UniqInt=19023204826012974994 
OK


UniqInt=19023204826012975026 
OK


UniqInt=19023204826012975008 
OK


UniqInt=19023204826012975009 
OK


UniqInt=19023204826012975010 
OK


UniqInt=19023204826012975011 
OK


UniqInt=19023204826012975012 
OK


UniqInt=19023204826012975013 
OK


UniqInt=19023204826012975014 
OK


UniqInt=19023204826012975015 
OK


UniqInt=19023204826012975016 
OK


UniqInt=19023204826012975017 
OK


UniqInt=19023204826012975018 
OK


UniqInt=19023204826012975019 
OK


UniqInt=19023204826012975020 
OK


UniqInt=19023204826012975021 
OK


UniqInt=19023204826012975022 
OK


UniqInt=19023204826012975023 
OK


UniqInt=19023204826012975024 
OK


UniqInt=19023204826012975025 
OK


UniqInt=19023204826012975026 
OK


UniqInt=19023204826012975058 
OK


UniqInt=19023204826012975040 
OK


UniqInt=19023204826012975041 
OK


UniqInt=19023204826012975042 
OK


UniqInt=19023204826012975043 
OK


UniqInt=19023204826012975044 
OK


UniqInt=19023204826012975045 
OK


UniqInt=19023204826012975046 
OK


UniqInt=19023204826012975047 
OK


UniqInt=19023204826012975048 
OK


UniqInt=19023204826012975049 
OK


UniqInt=19023204826012975050 
OK


UniqInt=19023204826012975051 
OK


UniqInt=19023204826012975052 
OK


UniqInt=19023204826012975053 
OK


UniqInt=19023204826012975054 
OK


UniqInt=19023204826012975055 
OK


UniqInt=19023204826012975056 
OK


UniqInt=19023204826012975057 
OK


UniqInt=19023204826012975058 
OK


UniqInt=19023204826012975090 
OK


UniqInt=19023204826012975072 
OK


UniqInt=19023204826012975073 
OK


UniqInt=19023204826012975074 
OK


UniqInt=19023204826012975075 
OK


UniqInt=19023204826012975076 
OK


UniqInt=19023204826012975077 
OK


UniqInt=19023204826012975078 
OK


UniqInt=19023204826012975079 
OK


UniqInt=19023204826012975080 
OK


UniqInt=19023204826012975081 
OK


UniqInt=19023204826012975082 
OK


UniqInt=19023204826012975083 
OK


UniqInt=19023204826012975084 
OK


UniqInt=19023204826012975085 
OK


UniqInt=19023204826012975086 
OK


UniqInt=19023204826012975087 
OK


UniqInt=19023204826012975088 
OK


UniqInt=19023204826012975089 
OK


UniqInt=19023204826012975090 
OK


UniqInt=19023204826012975122 
OK


UniqInt=19023204826012975104 
OK


UniqInt=19023204826012975105 
OK


UniqInt=19023204826012975106 
OK


UniqInt=19023204826012975107 
OK


UniqInt=19023204826012975108 
OK


UniqInt=19023204826012975109 
OK


UniqInt=19023204826012975110 
OK


UniqInt=19023204826012975111 
OK


UniqInt=19023204826012975112 
OK


UniqInt=19023204826012975113 
OK


UniqInt=19023204826012975114 
OK


UniqInt=19023204826012975115 
OK


UniqInt=19023204826012975116 
OK


UniqInt=19023204826012975117 
OK


UniqInt=19023204826012975118 
OK


UniqInt=19023204826012975119 
OK


UniqInt=19023204826012975120 
OK


UniqInt=19023204826012975121 
OK


UniqInt=19023204826012975122 
OK


UniqInt=19023204826012975154 
OK


UniqInt=19023204826012975136 
OK


UniqInt=19023204826012975137 
OK


UniqInt=19023204826012975138 
OK


UniqInt=19023204826012975139 
OK


UniqInt=19023204826012975140 
OK


UniqInt=19023204826012975141 
OK


UniqInt=19023204826012975142 
OK


UniqInt=19023204826012975143 
OK


UniqInt=19023204826012975144 
OK


UniqInt=19023204826012975145 
OK


UniqInt=19023204826012975146 
OK


UniqInt=19023204826012975147 
OK


UniqInt=19023204826012975148 
OK


UniqInt=19023204826012975149 
OK


UniqInt=19023204826012975150 
OK


UniqInt=19023204826012975151 
OK


UniqInt=19023204826012975152 
OK


UniqInt=19023204826012975153 
OK


UniqInt=19023204826012975154 
OK


UniqInt=19023204826012975186 
OK


UniqInt=19023204826012975168 
OK


UniqInt=19023204826012975169 
OK


UniqInt=19023204826012975170 
OK


UniqInt=19023204826012975171 
OK


UniqInt=19023204826012975172 
OK


UniqInt=19023204826012975173 
OK


UniqInt=19023204826012975174 
OK


UniqInt=19023204826012975175 
OK


UniqInt=19023204826012975176 
OK


UniqInt=19023204826012975177 
OK


UniqInt=19023204826012975178 
OK


UniqInt=19023204826012975179 
OK


UniqInt=19023204826012975180 
OK


UniqInt=19023204826012975181 
OK


UniqInt=19023204826012975182 
OK


UniqInt=19023204826012975183 
OK


UniqInt=19023204826012975184 
OK


UniqInt=19023204826012975185 
OK


UniqInt=19023204826012975186 
OK


UniqInt=19023204826012975218 
OK


UniqInt=19023204826012975200 
OK


UniqInt=19023204826012975201 
OK


UniqInt=19023204826012975202 
OK


UniqInt=19023204826012975203 
OK


UniqInt=19023204826012975204 
OK


****************************************************

*** Around MAX_UNIQ_INT 589719349606402228210 ***

****************************************************

UniqInt=589719349606402228110 
OK


UniqInt=589719349606402228111 
OK


UniqInt=589719349606402228112 
OK


UniqInt=589719349606402228113 
OK


UniqInt=589719349606402228114 
OK


UniqInt=589719349606402228146 
OK


UniqInt=589719349606402228128 
OK


UniqInt=589719349606402228129 
OK


UniqInt=589719349606402228130 
OK


UniqInt=589719349606402228131 
OK


UniqInt=589719349606402228132 
OK


UniqInt=589719349606402228133 
OK


UniqInt=589719349606402228134 
OK


UniqInt=589719349606402228135 
OK


UniqInt=589719349606402228136 
OK


UniqInt=589719349606402228137 
OK


UniqInt=589719349606402228138 
OK


UniqInt=589719349606402228139 
OK


UniqInt=589719349606402228140 
OK


UniqInt=589719349606402228141 
OK


UniqInt=589719349606402228142 
OK


UniqInt=589719349606402228143 
OK


UniqInt=589719349606402228144 
OK


UniqInt=589719349606402228145 
OK


UniqInt=589719349606402228146 
OK


UniqInt=589719349606402228178 
OK


UniqInt=589719349606402228160 
OK


UniqInt=589719349606402228161 
OK


UniqInt=589719349606402228162 
OK


UniqInt=589719349606402228163 
OK


UniqInt=589719349606402228164 
OK


UniqInt=589719349606402228165 
OK


UniqInt=589719349606402228166 
OK


UniqInt=589719349606402228167 
OK


UniqInt=589719349606402228168 
OK


UniqInt=589719349606402228169 
OK


UniqInt=589719349606402228170 
OK


UniqInt=589719349606402228171 
OK


UniqInt=589719349606402228172 
OK


UniqInt=589719349606402228173 
OK


UniqInt=589719349606402228174 
OK


UniqInt=589719349606402228175 
OK


UniqInt=589719349606402228176 
OK


UniqInt=589719349606402228177 
OK


UniqInt=589719349606402228178 
OK


UniqInt=589719349606402228210 
OK


UniqInt=589719349606402228192 
OK


UniqInt=589719349606402228193 
OK


UniqInt=589719349606402228194 
OK


UniqInt=589719349606402228195 
OK


UniqInt=589719349606402228196 
OK


UniqInt=589719349606402228197 
OK


UniqInt=589719349606402228198 
OK


UniqInt=589719349606402228199 
OK


UniqInt=589719349606402228200 
OK


UniqInt=589719349606402228201 
OK


UniqInt=589719349606402228202 
OK


UniqInt=589719349606402228203 
OK


UniqInt=589719349606402228204 
OK


UniqInt=589719349606402228205 
OK


UniqInt=589719349606402228206 
OK


UniqInt=589719349606402228207 
OK


UniqInt=589719349606402228208 
OK


UniqInt=589719349606402228209 
OK


UniqInt=589719349606402228210 
OK





=== Ended at 2025-03-10 23:46:04
=== successfully completed test case
=== === Returned value: ok