case(4, [2, 2]).
case(8, [3, 5]).
case(16, [3, 13]).
case(32, [3, 29]).
case(64, [3, 61]).
case(128, [19, 109]).
case(256, [5, 251]).
case(512, [3, 509]).
case(1024, [3, 1021]).
case(2048, [19, 2029]).
case(4096, [3, 4093]).
case(8192, [13, 8179]).
case(16384, [3, 16381]).
case(32768, [19, 32749]).
case(65536, [17, 65519]).
case(131072, [13, 131059]).
case(262144, [5, 262139]).
case(524288, [19, 524269]).
case(1048576, [3, 1048573]).
case(2097152, [19, 2097133]).
case(4194304, [3, 4194301]).
case(8388608, [37, 8388571]).
case(16777216, [3, 16777213]).
case(33554432, [61, 33554371]).
case(67108864, [5, 67108859]).
case(134217728, [79, 134217649]).
case(268435456, [89, 268435367]).
case(536870912, [3, 536870909]).
case(1073741824, [41, 1073741783]).
case(2147483648, [19, 2147483629]).
case(4294967296, [5, 4294967291]).
case(8589934592, [79, 8589934513]).
case(17179869184, [41, 17179869143]).
case(34359738368, [31, 34359738337]).