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]).